Sets Defined by Internal CYC® Functions

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

[Up]Sets and Individuals in CYC®
[Back]Partitioning Collections
[Next]Argument Types of Predicates

There are a number of collections whose instances are usually not reified as constants, but which are commonly involved in assertions. One example would be #$Integer. Reifying all the instances of #$Integer used in the CYC® KB as constants would be expensive in memory and awkward. Moreover, it is unnecessary because the computational substrate already implements a more efficient representation of integers which is adequate for most uses.

When a character sequence like "3" in a CycL expression is read by the system, it is represented as the integer 3 in SubL, the CYC® implementation language. We now need a way to determine that a SubL integer is a member of the collection #$Integer, so that it will be recognized as a valid argument in an expression like:

     (#$arity #$purposeInEvent 3)

This could simply be implemented in code, as part of the CYC® application. But for the sake of clarity and extensibility, we introduce two predicates, #$defnSufficient and #$defnIff, which specify a SubL function to test for membership in the collection. Here are two examples in the KB:

     (#$defnSufficient #$PositiveInteger CYC-POSITIVE-INTEGER?)
     (#$defnIff #$ScalarInterval SCALAR-INTERVAL?)

If the function specified by a #$defnSufficient assertion returns true (actually, non-NIL) when applied to some thing, then that thing is an instance of the collection. #$defnIff is a stronger relation: if and only if a thing satisfies the test function it is an instance of the collection.

So for #$PositiveInteger, both SubL integers and constants which denote instances of #$PositiveInteger are instances. #$OneMillion is an example of a constant which is an instance of #$PositiveInteger. But for #$ScalarInterval, only expressions which satisfy SCALAR-INTERVAL? are instances.


[Up] [Back] [Next]

Questions:

If one were creating a collection (call it #$SmallNumber) to represent all numbers between -10,000 and 10,000, how would one define it such that CYC® would be able to tell what is and is not a member of that collection?


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