Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FamilyGroup
FamilyGroup(ファミリーグループ)

appearance as argument number 1
-------------------------


(documentation FamilyGroup ChineseLanguage "这是一组由互相拥有 familyRelationmember 所组成的 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 ファミリーグループGroupOfPeoplesubclass では

appearance as argument number 2
-------------------------


(range DescendantsFn FamilyGroup) Mid-level-ontology.kif 8629-8629 DescendantsFnrangeファミリーグループ のインスタンス では
(range ImmediateFamilyFn FamilyGroup) Merge.kif 16461-16461 ImmediateFamilyFnrangeファミリーグループ のインスタンス では
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 24819-24819 NuclearFamilyファミリーグループsubclass では
(termFormat ChineseLanguage FamilyGroup "家族群组") chinese_format.kif 1065-1065 NuclearFamilyファミリーグループsubclass では
(termFormat EnglishLanguage FamilyGroup "family group") english_format.kif 1341-1341 NuclearFamilyファミリーグループsubclass では
(termFormat FrenchLanguage FamilyGroup "family groupe familiale") french_format.kif 743-743 NuclearFamilyファミリーグループsubclass では
(termFormat Hindi FamilyGroup "parivaara samUha") terms-hindi.txt 274-274 NuclearFamilyファミリーグループsubclass では
(termFormat ItalianLanguage FamilyGroup "GruppoFamiliare") terms-it.txt 277-277 NuclearFamilyファミリーグループsubclass では
(termFormat JapaneseLanguage FamilyGroup "ファミリーグループ") japanese_format.kif 2427-2427 NuclearFamilyファミリーグループsubclass では
(termFormat PortugueseLanguage FamilyGroup "Grupo Familiar") portuguese_format.kif 695-695 NuclearFamilyファミリーグループsubclass では
(termFormat cb FamilyGroup "pamilyang panagtapok") terms-cb.txt 279-279 NuclearFamilyファミリーグループsubclass では
(termFormat cz FamilyGroup "family group") terms-cz.txt 313-313 NuclearFamilyファミリーグループsubclass では
(termFormat de FamilyGroup "Familiengruppe") terms-de.txt 572-572 NuclearFamilyファミリーグループsubclass では
(termFormat ro FamilyGroup "grup familial") relations-ro.kif 764-764 NuclearFamilyファミリーグループsubclass では
(termFormat tg FamilyGroup "lupon ng angkan") terms-tg.txt 278-278 NuclearFamilyファミリーグループsubclass では

antecedent
-------------------------


(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))
Merge.kif 16438-16445


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners