SUMO   View all facts   Glossary   Help
unparented > age
Next unparented: agent    Up: unparented    Previous unparented: width   

age comparison table
Subject documentation have arg2 valence have domain2 have axiom
unparented    
ageSimply relates an Object to a ConstantQuantity specifying the age of the ObjectsingleValuedTimeDuration
(=> 
    (instance ?GROUP AgeGroup) 
    (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) 
       (=> 
          (and 
             (member ?MEMB1 ?GROUP) 
             (member ?MEMB2 ?GROUP) 
             (age ?MEMB1 ?AGE1) 
             (age ?MEMB2 ?AGE2)) 
          (equal ?AGE1 ?AGE2))))

Next unparented: agent    Up: unparented    Previous unparented: width