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 16435-16436 | |
(externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US_hoosier_family.jpg") | pictureList.kif 1477-1477 | |
(subclass FamilyGroup GroupOfPeople) | Merge.kif 16434-16434 | ファミリーグループ は GroupOfPeople の subclass では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16438-16445 |
![]() |
![]() |