IntransitiveRelation Comparison Table

Entity > Abstract > Class > Relation > BinaryRelation > IntransitiveRelation

Next BinaryRelation: IrreflexiveRelation Up: BinaryRelation Previous BinaryRelation: distributes

IntransitiveRelation comparison table

Subject have domain2 have domain1 be first domain of be second domain of documentation have axiom is an instance of have relatedInternalConcept

element Set Entity singleValued inverse (element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set
(=>
(forall (?ELEMENT)
(<=>
(element ?ELEMENT ?SET1)
(element ?ELEMENT ?SET2)))
(equal ?SET1 ?SET2))
IntransitiveRelation

meetsTemporally TimeInterval TimeInterval valence subrelation (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2
(=>
(instance ?REL IntransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(not
(holds ?REL ?INST1 ?INST3)))))
TemporalRelation

member Collection SelfConnectedObject valence subrelation A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock
(=>
(instance ?COLL Collection)
(exists (?OBJ)
(member ?OBJ ?COLL)))
SpatialRelation instance

on trichotomizingOn inverse This is a cognitive primitive, derived from the up/down schema and involving contact. (on ?OBJ1 ?OBJ2) means that ?OBJ1 is on top of ?OBJ2
(=>
(under ?OBJ1 ?OBJ2)
(or
(on ?OBJ2 ?OBJ1)
(above ?OBJ2 ?OBJ1)))
IntransitiveRelation

parent Organism Organism singleValued inverse The general relationship of parenthood. (parent ?PARENT ?CHILD) means that ?PARENT is a biological parent of ?CHILD
(=>
(parent ?PARENT ?CHILD)
(or
(mother ?PARENT ?CHILD)
(father ?PARENT ?CHILD)))
IntransitiveRelation

penetrates trichotomizingOn inverse (penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth)
(=>
(traverses ?OBJ1 ?OBJ2)
(or
(crosses ?OBJ1 ?OBJ2)
(penetrates ?OBJ1 ?OBJ2)))
IntransitiveRelation

Subject	have domain2	have domain1	be first domain of	be second domain of	documentation	have axiom	is an instance of	have relatedInternalConcept
element	Set	Entity	singleValued	inverse	(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set	(=> (forall (?ELEMENT) (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2))) (equal ?SET1 ?SET2))	IntransitiveRelation
meetsTemporally	TimeInterval	TimeInterval	valence	subrelation	(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2	(=> (instance ?REL IntransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (not (holds ?REL ?INST1 ?INST3)))))	TemporalRelation
member	Collection	SelfConnectedObject	valence	subrelation	A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock	(=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL)))	SpatialRelation	instance
on			trichotomizingOn	inverse	This is a cognitive primitive, derived from the up/down schema and involving contact. (on ?OBJ1 ?OBJ2) means that ?OBJ1 is on top of ?OBJ2	(=> (under ?OBJ1 ?OBJ2) (or (on ?OBJ2 ?OBJ1) (above ?OBJ2 ?OBJ1)))	IntransitiveRelation
parent	Organism	Organism	singleValued	inverse	The general relationship of parenthood. (parent ?PARENT ?CHILD) means that ?PARENT is a biological parent of ?CHILD	(=> (parent ?PARENT ?CHILD) (or (mother ?PARENT ?CHILD) (father ?PARENT ?CHILD)))	IntransitiveRelation
penetrates			trichotomizingOn	inverse	(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth)	(=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2)))	IntransitiveRelation

Next BinaryRelation: IrreflexiveRelation Up: BinaryRelation Previous BinaryRelation: distributes