AgeGroup |
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 | AgeGroup ist eine teilkategorie von GroupOfPeople |
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 |
|