# # KEHOME/kb/spo.sumo.html # Feb/27/2009 begin hierarchy abstract physical; Entity; / Abstract; // Attribute; /// InternalAttribute; /// RelationalAttribute; // Proposition; /// Argument; /// FieldOfStudy; /// Procedure; // Quantity; /// Number; /// PhysicalQuantity; // Relation; /// BinaryRelation; /// List; /// PartialValuedRelation; /// Predicate; /// ProbabilityRelation; /// QuaternaryRelation; /// QuintaryRelation; /// RelationExtendedToQuantities; /// SingleValuedRelation; /// SpatialRelation; /// TemporalRelation; /// TernaryRelation; /// TotalValuedRelation; /// VariableArityRelation; // SetOrClass; /// Class; /// MutuallyDisjointClass; /// NonNullSet; /// NullSet; /// PairwiseDisjointClass; /// Set; //// i:ClassSet; //// i:IndividualSet; / Physical; // Object; /// Agent; /// Collection; /// Region; /// SelfConnectedObject; // Process; /// DualObjectProcess; /// IntentionalProcess; /// InternalChange; /// Motion; end hierarchy abstract physical; ####### # spo # ####### subject type object; # hierarchy: instance subject subClassOf object; # hierarchy: subclass subject rel property = object; # property subject ismem group; # mKR relation SUMO existent is Entity; #