# # KEHOME/kb/spo.cyc.html # Feb/27/2007 # internal 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; # view // 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; ####### # spo # ####### Proposition haspart Microtheory, Sentence; # proposition subject isa object; # hierarchy: instance of subject genls object; # hierarchy: has generalization subject specMt object; # hierarchy: Mt has specialization subject genlMt object; # hierarchy: Mt has generalization subject ismem object; at space=Space, time=Time, view=Microtheory; # context subject rel property = object; # binary relation begin relation rname; ...; end relation rname; # n-ary relation do fname od arglist done; # function # 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; #