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 16267-16268 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9872-9872 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10363-10363 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10364-10364 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16266-16266 | 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 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 742-742 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 273-273 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 276-276 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2426-2426 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 694-694 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 278-278 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 312-312 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 763-763 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 277-277 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16270-16279 |
|