# # KEHOME/kb/spo.cyc.html # Feb/18/2007 # cyc constant format: #$name #####CommentMode := cyc; #####TypeComment := ""; begin hierarchy Entity-Relation-Proposition; Thing; / entity; // IndexicalConcept; # pronoun // Individual; /// IntangibleIndividual; /// Traversal; // TemporalThing; /// SomethingExisting; //// Entity; // Intangible; // PartiallyIntangible; // PartiallyTangible; // TangibleThing; / Relation; # characteristic // FixedArityRelation; /// BinaryRelation; //// Property; / proposition; // Microtheory; # context // sentence; / SetOrCollection; // Collection; /// i:Class; /// i:CoreConstant; // myIndiviudal; // Set-Mathematical; #================================# sentence; / CycLQuery; / CycLTerm; / DocumentationConstant; / ELSentence-Assertible; / ELTemplate; / ELVariable; / Path-Generic; / PathSystem; / ReformulatorIrrelevantFORT; / ReformulatorHighlyRelevantFORT; / SubLSymbol; / TheTerm; end hierarchy Entity-Relation-Proposition; begin hierarchy imaginary; Nothing; end hierarchy imaginary; # propositions # Thing has Property = Value; # individual isu class; # species iss genus; # (#$Property #$Thing #$Value); # (#$isa individual class); # (#$genls species genus); # mKR relation CycL nonexistent is Nothing; existent is Thing; # context is Microtheory; # ?????? is Entity; # characteristic is Relation; # proposition is proposition; # isu is isa; # iss is genls; #