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