Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgeGroup

Sigma KEE - AgeGroup
AgeGroup(age group)
age_bracket, age_class, age_group, baby-boom_generation, baby_boom, beat_generation, beatniks, beats, centenarian, coeval, coevals, cohort, contemporaries, contemporary, generation, nonagenarian, octogenarian, peer_group, septuagenarian, sexagenarian, underage

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3672-3673
No TPTP formula. May not be expressible in strict first order. Merge.kif 15963-15964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9880-9880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10373-10373
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10374-10374
No TPTP formula. May not be expressible in strict first order. Merge.kif 15962-15962 Age group is a subclass of group of people

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1064-1064
No TPTP formula. May not be expressible in strict first order. english_format.kif 1339-1339

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15966-15975


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners