| 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 15090-15091 | |
| (externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US-hoosier-family.jpg") | pictureList.kif 1478-1478 | |
| (subclass FamilyGroup GroupOfPeople) | Merge.kif 15089-15089 | Family group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| (range DescendantsFn FamilyGroup) | Mid-level-ontology.kif 7152-7152 | The range of descendants is an instance of family group |
| (range ImmediateFamilyFn FamilyGroup) | Merge.kif 15116-15116 | The range of immediate family is an instance of family group |
| (subclass NuclearFamily FamilyGroup) | Mid-level-ontology.kif 21113-21113 | Nuclear family is a subclass of family group |
| (termFormat ChineseLanguage FamilyGroup "家族群组") | chinese_format.kif 1065-1065 | |
| (termFormat EnglishLanguage FamilyGroup "family group") | english_format.kif 1346-1346 |
| antecedent |
|
|
| (=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 15093-15100 |
|
|
|
|