## Examining If-Then Axioms

E-Mail Comments to: doc@cyc.com
Copyright© 1996, 1997, 1998, 2002 Cycorp. All rights reserved.

| Viewing CYC® Constants with the Web Interface
| More Exercises with #$Cleaning
| Other References

Display the constant #$TeethCleaning again and find the Antecedent section. Look at the first assertion that mentions the predicate #$anatomicalPartTypeAffected.

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.

## Questions:

Click on any "implies" link to display the term #$implies on a new page.

What is the arity of #$implies? (i.e. how many "arguments" does it take?

Last Update: 03/22/2002 11:42:01