subclass Comparison Table

Next BinaryPredicate: subCollection Up: BinaryPredicate, PartialOrderingRelation Previous BinaryPredicate: subAttribute

subclass comparison table

Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of

BinaryPredicate singleValued A Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate

PartialOrderingRelation trichotomizingOn A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
TransitiveRelation

subclass Class Class singleValued Class C is a subclass of Class P only if every instance of C is also an instance of P. A class may have multiple superclasses and subclasses
(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCETYPE1 Substance)
(subclass ?SUBSTANCETYPE2 Substance)
(instance ?SUBSTANCE1 ?SUBSTANCETYPE1)
(instance ?SUBSTANCE2 ?SUBSTANCETYPE2)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
PartialOrderingRelation

Subject	have domain2	have domain1	be first domain of	documentation	have axiom	is a kind of	is an instance of
BinaryPredicate			singleValued	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
PartialOrderingRelation			trichotomizingOn	A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation	(=> (instance ?REL TransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (holds ?REL ?INST1 ?INST3))))	TransitiveRelation
subclass	Class	Class	singleValued	Class C is a subclass of Class P only if every instance of C is also an instance of P. A class may have multiple superclasses and subclasses	(=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCETYPE1 Substance) (subclass ?SUBSTANCETYPE2 Substance) (instance ?SUBSTANCE1 ?SUBSTANCETYPE1) (instance ?SUBSTANCE2 ?SUBSTANCETYPE2) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))		PartialOrderingRelation

Next BinaryPredicate: subCollection Up: BinaryPredicate, PartialOrderingRelation Previous BinaryPredicate: subAttribute