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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AustroAsiaticLanguage

 Sigma KEE - AustroAsiaticLanguage
AustroAsiaticLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5707-5709
No TPTP formula. May not be expressible in strict first order. Languages.kif 5706-5706 AustroAsiaticLanguage est une sous-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14636-14636 KhmerLanguage est une instance de AustroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14692-14692 VietnameseLanguage est une instance de AustroAsiaticLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9132-9132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9131-9131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9130-9130


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