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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MalakhelLanguage

 Sigma KEE - MalakhelLanguage
MalakhelLanguage(malakhel language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4227-4231
No TPTP formula. May not be expressible in strict first order. Languages.kif 4226-4226 Malakhel language is an instance of unclassified spoken language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35765-35765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35764-35764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35763-35763


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