![]() | Viewing Cyc® Constants with the Web Interface |
![]() | Assertions Which Involve Binary Predicates |
![]() | More Information About Assertions |
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.