SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > measure
Next AsymmetricRelation: meetsTemporally    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: left   

measure comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IrreflexiveRelation 
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
Predicate 
measureConstantQuantityObjectsingleValuedA very general Predicate for asserting that a particular Object is measured by a particular ConstantQuantity. In general, the second argument of this Predicate will be an instance of the Function MeasureFn
(=>
    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2)
       (=>
          (and
             (measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
             (measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
          (greaterThan ?QUANT1 ?QUANT2))))
 BinaryPredicate

Next AsymmetricRelation: meetsTemporally    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: left