Presentation of Other Assertions

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

[Up]Viewing Cyc® Constants with the Web Interface
[Back]Assertions Which Involve Binary Predicates
[Next]More Information About Assertions

Assertions that use higher-arity predicates (predicates of arity 3, 4, and 5 are supported by Cyc®) are displayed in prefix notation. In prefix notation, the assertion is in list form. The predicate is the first term in the list and the arguments of that predicate follow.

Here's a prefix notation example: an assertion using the quaternary predicate #$frequencyOfActionType, where #$TeethCleaning is the second term, and thus the first argument:

     (#$frequencyOfActionType #$TeethCleaning #$Person
          #$recipientOfService (#$TimesPerYear 1 3))

This means instances of #$Person usually are the #$recipientOfService in a #$TeethCleaning event between once and three times a year.

This is a context-dependent assertion, not universally true, and so you would expect it to be within some #$Microtheory, not the #$BaseKB.

The browser indicates this by grouping the assertions by #$Microtheory within each section. For example, in the Arg: 1 section of #$TeethCleaning, we see assertions in the #$BaseKB. We might then see assertions in the #$JobMt, etc.


[Up] [Back] [Next]
Last Update: 10/26/1998 11:42:06