OpenCyc HomepageAssertions Involving #$isa

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

[Up]Viewing Cyc® Constants with the Web Interface
[Back]Comments about Constants
[Next]Some Exercises with #$Cleaning

There may be many assertions in the KB with different second arguments given a predicate and some first argument. For example, two "entries" on the predicate #$isa for #$TeethCleaning are:

     #$TemporalObjectType
     #$DefaultDisjointScriptType

In prefix notation, these would be represented as:

     (#$isa #$TeethCleaning #$TemporalObjectType)
     (#$isa #$TeethCleaning #$DefaultDisjointScriptType)


[Up] [Back] [Next]
Last Update: 03/31/2002