# <![CDATA[
# 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;
#]]>