SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > IrreflexiveRelation

IrreflexiveRelation
subject			fact

IrreflexiveRelation	documentation Relation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST
	has axiom (=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))
	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 IrreflexiveRelation :

• AsymmetricRelation (81 kinds, 626 facts) - A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
• before (6 facts) - (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline
• connectedEngineeringComponents (8 facts) - This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation; there is no information in the direction of connection between two components. It is also an IrreflexiveRelation; no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection
• contraryProperty (8 facts) - Means that the two arguments are properties that are opposed to one another, e.g. Pliable versus Rigid
• during (9 facts) - (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2
• earlier (8 facts) - (earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins
• finishes (7 facts) - (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1
• greaterThan (16 facts) - (greaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2
• inhibits (5 facts) - A very general Predicate. (inhibits ?PROC1 ?PROC2) means that the Process ?PROC1 inhibits or hinders the occurrence of the Process ?PROC2. For example, obstructing an object inhibits moving it. Note that this is a relation between types of Processes, not between instances
• larger (8 facts) - (larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2
• lessThan (20 facts) - (lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2
• prevents (5 facts) - A very general Predicate. (prevents ?PROC1 ?PROC2) means that ?PROC1 prevents the occurrence of ?PROC2. In other words, if ?PROC1 is occurring in a particular time and place, ?PROC2 cannot occur at the same time and place. For example, innoculating prevents contracting disease. Note that this is a relation between types of Processes, not between instances
• smaller (8 facts) - (smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2
• starts (7 facts) - (starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2
• subCollection (6 facts) - (subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2
• subPlan (7 facts) - (subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a Plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting Plan to the overall Plan in a particular context
• successorAttributeClosure (8 facts) - The transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of successorAttribute assertions connecting ?ATTR1 and ?ATTR2

Next BinaryRelation: ReflexiveRelation    Up: BinaryRelation    Previous BinaryRelation: IntransitiveRelation