## Assertions Involving #$isa

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

| Viewing Cyc® Constants with the Web Interface
| Comments about Constants
| 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)

Last Update: 03/31/2002