| Subject |
have domain2 |
have domain1 |
be first domain of |
be second domain of |
documentation |
have inverse |
have axiom |
is a kind of |
is an instance of |
have relatedInternalConcept |
|---|
| AsymmetricRelation | | | trichotomizingOn | inverse | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | | (=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
| IrreflexiveRelation | | |
| before | TimePoint | TimePoint | valence | subrelation | (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| connectedEngineeringComponents | EngineeringComponent | EngineeringComponent | trichotomizingOn | inverse | 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 | | (=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1))))
| | SymmetricRelation | |
| contraryProperty | Attribute | Attribute | singleValued | inverse | Means that the two arguments are properties that are opposed to one another, e.g. Pliable versus Rigid | | (=>
(and
(attribute ?OBJ ?ATTR1)
(contraryProperty ?ATTR1 ?ATTR2))
(not
(attribute ?OBJ ?ATTR2)))
| | TransitiveRelation | |
| during | TimeInterval | TimeInterval | valence | subrelation | (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2 | | (=>
(subProcess ?SUBPROC ?PROC)
(or
(equal (WhenFn ?SUBPROC) (WhenFn ?PROC))
(during (WhenFn ?SUBPROC) (WhenFn ?PROC))))
| | TransitiveRelation | |
| earlier | TimeInterval | TimeInterval | valence | subrelation | (earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins | | (=>
(earlier ?INTERVAL1 ?INTERVAL2)
(before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))
| | TransitiveRelation | |
| finishes | TimeInterval | TimeInterval | valence | subrelation | (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| greaterThan | Quantity | Quantity | valence | subrelation | (greaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2 | lessThan | (=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2)
(=>
(and
(measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
(measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
| | TransitiveRelation | |
| inhibits | Process | Process | singleValued | inverse | 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 | | (=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
| | IrreflexiveRelation | |
| larger | Object | Object | valence | subrelation | (larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2 | | (=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2)
(=>
(and
(measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
(measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
| | TransitiveRelation | |
| lessThan | Quantity | Quantity | valence | subrelation | (lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2 | | (=>
(instance ?NUMBER NegativeRealNumber)
(lessThan ?NUMBER 0))
| | TransitiveRelation | |
| prevents | Process | Process | singleValued | inverse | 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 | | (=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
| | IrreflexiveRelation | |
| smaller | Object | Object | valence | subrelation | (smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2 | larger | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| starts | TimeInterval | TimeInterval | valence | subrelation | (starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| subCollection | Collection | Collection | singleValued | inverse | (subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| subPlan | Plan | Plan | singleValued | inverse | (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 | | (=>
(subPlan ?PLAN1 ?PLAN2)
(forall (?OBJ1 ?OBJ2)
(=>
(and
(containsInformation ?OBJ1 ?PLAN1)
(containsInformation ?OBJ2 ?PLAN2))
(subsumesContentInstance ?OBJ2 ?OBJ1))))
| | TransitiveRelation | |
| successorAttributeClosure | Attribute | Attribute | singleValued | inverse | The transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of successorAttribute assertions connecting ?ATTR1 and ?ATTR2 | | (=>
(successorAttribute ?ATTR1 ?ATTR2)
(successorAttributeClosure ?ATTR1 ?ATTR2))
| | TransitiveRelation | successorAttribute |
SUMO View all facts Glossary Help
