- Defined in ontology: Kif-sets
- Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-sets.lisp
- Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set
- Arity@Frame-Ontology: 1
Something in the universe of discourse that can't be a member of a set.
Paradoxical beasts go here.
KIF Version 3.0 Specification
- It would seem that the extension of this relation is empty,
since there can exist no set containing any unbounded things.
Equivalence Axioms for Unbounded:
(<=> (Unbounded ?X) (Not (Bounded ?X)))