Presentation of Other 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.