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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImeraguenLanguage

 Sigma KEE - ImeraguenLanguage
ImeraguenLanguage(imeraguen language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4014-4021
No TPTP formula. May not be expressible in strict first order. Languages.kif 4013-4013 Imeraguen 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 29331-29331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29330-29330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29329-29329


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