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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4608-4608 BerberLanguage e' uma sub-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5057-5057 ChadicLanguage e' uma sub-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14535-14535 CushiticLanguage e' uma sub-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 4670-4670 NorthernAfroAsiaticLanguage e' uma sub-classe de AfroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14561-14561 SemiticLanguage e' uma sub-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 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