| FamilyGroup
| |
| appearance as argument number 1 |
|
|
| (documentation FamilyGroup ChineseLanguage "这是一组由互相拥有 familyRelation的 member 所组成的 GroupOfPeople。") | chinese_format.kif 3674-3675 | |
| (documentation FamilyGroup EnglishLanguage "A GroupOfPeople whose members bear familyRelations to one another.") | Merge.kif 16260-16261 | |
| (externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US-hoosier-family.jpg") | pictureList.kif 1477-1477 | |
| (subclass FamilyGroup GroupOfPeople) | Merge.kif 16259-16259 | FamilyGroup ist eine teilkategorie von GroupOfPeople |
| appearance as argument number 2 |
|
|
| (range DescendantsFn FamilyGroup) | Mid-level-ontology.kif 7462-7462 | bildbereich von DescendantsFn ist ein fall von FamilyGroup {nicht} |
| (range ImmediateFamilyFn FamilyGroup) | Merge.kif 16286-16286 | bildbereich von ImmediateFamilyFn ist ein fall von FamilyGroup {nicht} |
| (subclass NuclearFamily FamilyGroup) | Mid-level-ontology.kif 23178-23178 | NuclearFamily ist eine teilkategorie von FamilyGroup |
| (termFormat ChineseLanguage FamilyGroup "家族群组") | chinese_format.kif 1065-1065 | |
| (termFormat EnglishLanguage FamilyGroup "family group") | english_format.kif 1341-1341 | |
| (termFormat FrenchLanguage FamilyGroup "family groupe familiale") | french_format.kif 743-743 | |
| (termFormat Hindi FamilyGroup "parivaara samUha") | terms-hindi.txt 274-274 | |
| (termFormat ItalianLanguage FamilyGroup "GruppoFamiliare") | terms-it.txt 277-277 | |
| (termFormat JapaneseLanguage FamilyGroup "ファミリーグループ") | japanese_format.kif 2427-2427 | |
| (termFormat PortugueseLanguage FamilyGroup "Grupo Familiar") | portuguese_format.kif 695-695 | |
| (termFormat cb FamilyGroup "pamilyang panagtapok") | terms-cb.txt 279-279 | |
| (termFormat cz FamilyGroup "family group") | terms-cz.txt 313-313 | |
| (termFormat ro FamilyGroup "grup familial") | relations-ro.kif 764-764 | |
| (termFormat tg FamilyGroup "lupon ng angkan") | terms-tg.txt 278-278 |
| antecedent |
|
|
| (=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16263-16270 |
|
|
|
|