age (age)
Simply relates an Object to a ConstantQuantity
specifying the age of the Object.
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Superrelation(s)
Coordinate term(s)
altitude
date
depth
distance
father
monetary value
mother
unique identifier
valence
width
Type restrictions
age(?, samayaavadhi)
Related WordNet synsets
- age
- how long something has existed; "it was replaced because of its age"
- aged(a), of age(p)
- having attained a specific age; (`aged' is pronounced as one syllable); "aged ten"; "ten years of age"
See more related synsets on a separate page.
Axioms (1)
- agar group is an instance of aayu samUha,
- to sab-kuch memb1,memb2,age1,age2 ke lie hai, ki: agar memb1 is a member of group aur memb2 is a member of group aur the age of memb1 is age1 aur the age of memb2 is age2, to age1 is equal to age2
.
(=>
(instance ?GROUP AgeGroup)
(forall
(?MEMB1 ?MEMB2 ?AGE1 ?AGE2)
(=>
(and
(member ?MEMB1 ?GROUP)
(member ?MEMB2 ?GROUP)
(age ?MEMB1 ?AGE1)
(age ?MEMB2 ?AGE2))
(equal ?AGE1 ?AGE2))))