SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > IntransitiveRelation

IntransitiveRelation
subject			fact

IntransitiveRelation	documentation A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
	has axiom (=> (instance ?REL IntransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (not (holds ?REL ?INST1 ?INST3)))))
	is a kind of BinaryRelation
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Kinds of IntransitiveRelation :

• element (8 facts) - (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
• meetsTemporally (7 facts) - (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2
• member (20 facts) - 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
• on (4 facts) - 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
• parent (9 facts) - The general relationship of parenthood. (parent ?PARENT ?CHILD) means that ?PARENT is a biological parent of ?CHILD
• penetrates (4 facts) - (penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth)

Next BinaryRelation: IrreflexiveRelation    Up: BinaryRelation    Previous BinaryRelation: distributes