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 15978-15979
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1478-1478
No TPTP formula. May not be expressible in strict first order. Merge.kif 15977-15977 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 7138-7138 The range of descendants is an instance of family group
No TPTP formula. May not be expressible in strict first order. Merge.kif 16004-16004 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 22601-22601 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15981-15988


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