![]() | Viewing CYC® Constants with the Web Interface |
![]() | More Exercises with #$Cleaning |
![]() | Other References |
To see the whole assertion, you may need to expand your Browser window, or use the horizontal scroll bar. You can use the Find or Search function provided by your web browser to search for the string "anatomicalPartT...".
The first term in this assertion is #$implies. The CYC® constant #$implies stands for the logical connective denoting material implication.
Note that the left-hand side, or "If" part, of the assertion is
(isa ?U TeethCleaning)
Find another axiom in this same section that mentions #$Toothpaste (it's a little lower down). Notice that its left-hand side begins with "and", and contains 3 literals, or atomic formulae (a predicate followed by its arguments). Its right-hand side has only one literal.