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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FamilyGroup

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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3674-3675
No TPTP formula. May not be expressible in strict first order. Merge.kif 16260-16261
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1477-1477
No TPTP formula. May not be expressible in strict first order. Merge.kif 16259-16259 Family group is a subclass of group of people

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7462-7462 The range of descendants is an instance of family group
No TPTP formula. May not be expressible in strict first order. Merge.kif 16286-16286 The range of immediate family is an instance of family group
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23178-23178 Nuclear family is a subclass of family group
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1065-1065
No TPTP formula. May not be expressible in strict first order. english_format.kif 1341-1341
No TPTP formula. May not be expressible in strict first order. french_format.kif 743-743
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 274-274
No TPTP formula. May not be expressible in strict first order. terms-it.txt 277-277
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2427-2427
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 695-695
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 279-279
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 313-313
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 764-764
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 278-278

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16263-16270


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

Show without tree


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