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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AfroAsiaticLanguage

 Sigma KEE - AfroAsiaticLanguage
AfroAsiaticLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4603-4604
No TPTP formula. May not be expressible in strict first order. Languages.kif 4602-4602 AfroAsiaticLanguage est une sous-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4608-4608 BerberLanguage est une sous-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5057-5057 ChadicLanguage est une sous-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14535-14535 CushiticLanguage est une sous-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 4670-4670 NorthernAfroAsiaticLanguage est une sous-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14561-14561 SemiticLanguage est une sous-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5754-5754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5753-5753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5752-5752


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