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

age
subjectfact 
agedocumentation Simply relates an Object to a ConstantQuantity specifying the age of the Object2001-11-30 13:33:34.0
has arg2 valence singleValued2001-11-30 13:33:34.0
has axiom 
(=> 
    (instance ?GROUP AgeGroup) 
    (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) 
       (=> 
          (and 
             (member ?MEMB1 ?GROUP) 
             (member ?MEMB2 ?GROUP) 
             (age ?MEMB1 ?AGE1) 
             (age ?MEMB2 ?AGE2)) 
          (equal ?AGE1 ?AGE2))))
2001-11-30 13:33:34.0
has domain2 TimeDuration2001-11-30 13:33:34.0