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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LanguageFamily

Sigma KEE - LanguageFamily
LanguageFamily

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12648-12649
No TPTP formula. May not be expressible in strict first order. Languages.kif 12647-12647 LanguageFamily e' uma sub-classe de Linguagem Natural

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6642-6642 HmongMienLanguage e' uma sub-classe de LanguageFamily
No TPTP formula. May not be expressible in strict first order. Languages.kif 6710-6710 IndoEuropeanLanguage e' uma sub-classe de LanguageFamily
No TPTP formula. May not be expressible in strict first order. Languages.kif 11122-11122 IroquoianLanguage e' uma sub-classe de LanguageFamily
No TPTP formula. May not be expressible in strict first order. Languages.kif 12654-12654 SinoTibetanLanguage e' uma sub-classe de LanguageFamily
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65096-65096


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