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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IteneLanguage

Sigma KEE - IteneLanguage
IteneLanguage(itene language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6139-6146
No TPTP formula. May not be expressible in strict first order. Languages.kif 6138-6138 Itene language is an instance of guapore language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31297-31297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31296-31296
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31295-31295


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