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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FamilyGroup
FamilyGroup(family group)
Bourbon, Bourbon_dynasty, Bronte_sisters, Capetian, Capetian_dynasty, Carlovingian, Carlovingian_dynasty, Carolingian, Carolingian_dynasty, Ch'in, Ch'in_dynasty, Ch'ing, Ch'ing_dynasty, Chou, Chou_dynasty, Chow, Chow_dynasty, Flavian_dynasty, Habsburg, Han, Han_dynasty, Hanover, Hanoverian_line, Hapsburg, Hohenzollern, House_of_Hanover, House_of_Lancaster, House_of_Tudor, House_of_Windsor, House_of_York, Lancaster, Lancastrian_line, Liao, Liao_dynasty, Manchu, Manchu_dynasty, Marx_Brothers, Medici, Merovingian, Merovingian_dynasty, Ming, Ming_dynasty, Moghul, Mogul, Mongol_dynasty, Omayyad, Ommiad, Ottoman, Ottoman_dynasty, Plantagenet...

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 16331-16332
(externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US-hoosier-family.jpg") pictureList.kif 1477-1477
(subclass FamilyGroup GroupOfPeople) Merge.kif 16330-16330 Family group is a subclass of group of people

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


(range DescendantsFn FamilyGroup) Mid-level-ontology.kif 7680-7680 The range of descendants is an instance of family group
(range ImmediateFamilyFn FamilyGroup) Merge.kif 16357-16357 The range of immediate family is an instance of family group
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 23461-23461 Nuclear family is a subclass of family group
(termFormat ChineseLanguage FamilyGroup "家族群组") chinese_format.kif 1065-1065 Nuclear family is a subclass of family group
(termFormat EnglishLanguage FamilyGroup "family group") english_format.kif 1341-1341 Nuclear family is a subclass of family group
(termFormat FrenchLanguage FamilyGroup "family groupe familiale") french_format.kif 743-743 Nuclear family is a subclass of family group
(termFormat Hindi FamilyGroup "parivaara samUha") terms-hindi.txt 274-274 Nuclear family is a subclass of family group
(termFormat ItalianLanguage FamilyGroup "GruppoFamiliare") terms-it.txt 277-277 Nuclear family is a subclass of family group
(termFormat JapaneseLanguage FamilyGroup "ファミリーグループ") japanese_format.kif 2427-2427 Nuclear family is a subclass of family group
(termFormat PortugueseLanguage FamilyGroup "Grupo Familiar") portuguese_format.kif 695-695 Nuclear family is a subclass of family group
(termFormat cb FamilyGroup "pamilyang panagtapok") terms-cb.txt 279-279 Nuclear family is a subclass of family group
(termFormat cz FamilyGroup "family group") terms-cz.txt 313-313 Nuclear family is a subclass of family group
(termFormat ro FamilyGroup "grup familial") relations-ro.kif 764-764 Nuclear family is a subclass of family group
(termFormat tg FamilyGroup "lupon ng angkan") terms-tg.txt 278-278 Nuclear family is a subclass of family group

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


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


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