年紀 (age)

Simply relates an Object to a ConstantQuantity specifying the age of the Object.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

種類

可繼承關係

單值關係

年紀

Superrelation(s)

測量

年紀

Coordinate term(s)

標高日期深度距離父親貨幣價值母親單一指稱（結合）價寬度

Type restrictions

age(?, 持續時間)

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)

if group 是年齡層的實例,
then for all memb1,memb2,age1,age2 holds: if memb1 是 group的成員 and memb2 是 group的成員 and memb1 的 �~紀是 age1 and memb2 的 �~紀是 age2, then age1 等於 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))))