Uses of #$genls and #$isa

E-Mail Comments to: doc@cyc.com
Copyright© 1996, 1997, 1998 Cycorp. All rights reserved.

[Up]Sets and Individuals in CYC®
[Back]CYC® Predicates
[Next]Mutually Disjoint Collections

Every CYC® constant is an element of at least one collection. In fact, everything that can appear in a CYC® expression is an element of some collection. Every collection, with the exception of #$Thing, is a subset of at least one other collection. These subset and instance of relations, expressed with assertions using #$genls and #$isa, make up the basic framework of the CYC® KB.

Heres a diagram showing some hypothetical constants and the #$genls and #$isa relations between them:

In this diagram, we introduce some conventions which will be used throughout the CYC® documentation:

The diagram therefore indicates the following assertions:

     (#$isa A #$Collection)
     (#$isa B #$Collection)
     (#$isa C #$Collection)
     (#$genls A #$Individual)
     (#$genls B #$Individual)
     (#$genls C B)
     (#$isa S C)
     (#$isa R A)
     (#$isa R B)


[Up] [Back] [Next]
Last Update: 10/26/1998 11:41:21