| 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 |
|
|
| (documentation AgeGroup ChineseLanguage "这是一组由 age 相同的 member 所组成的 GroupOfPeople。") | chinese_format.kif 3672-3673 | |
| (documentation AgeGroup EnglishLanguage "A GroupOfPeople whose members all have the same age.") | Merge.kif 16316-16317 | |
| (externalImage AgeGroup "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ HappyPensioneer.jpg") | pictureList.kif 9872-9872 | |
| (externalImage AgeGroup "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Sabaa_Nissan_Militiaman.jpg") | pictureList.kif 10363-10363 | |
| (externalImage AgeGroup "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Senescence.JPG") | pictureList.kif 10364-10364 | |
| (subclass AgeGroup GroupOfPeople) | Merge.kif 16315-16315 | Age group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AgeGroup "同龄群组") | chinese_format.kif 1064-1064 | |
| (termFormat EnglishLanguage AgeGroup "age group") | english_format.kif 1339-1339 | |
| (termFormat FrenchLanguage AgeGroup "groupe de personnes de la m�me tranche d'�ge") | french_format.kif 742-742 | |
| (termFormat Hindi AgeGroup "aayu samUha") | terms-hindi.txt 273-273 | |
| (termFormat ItalianLanguage AgeGroup "GruppoDiEt�") | terms-it.txt 276-276 | |
| (termFormat JapaneseLanguage AgeGroup "年齢層") | japanese_format.kif 2426-2426 | |
| (termFormat PortugueseLanguage AgeGroup "Grupo Etario") | portuguese_format.kif 694-694 | |
| (termFormat cb AgeGroup "edang panagtapok") | terms-cb.txt 278-278 | |
| (termFormat cz AgeGroup "age group") | terms-cz.txt 312-312 | |
| (termFormat ro AgeGroup "grup de vârstã") | relations-ro.kif 763-763 | |
| (termFormat tg AgeGroup "lupon ng edad") | terms-tg.txt 277-277 |
| antecedent |
|
|
| (=> (instance ?GROUP AgeGroup) (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP) (age ?MEMB1 ?AGE1) (age ?MEMB2 ?AGE2)) (equal ?AGE1 ?AGE2)))) |
Merge.kif 16319-16328 |
|
|
|
|