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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChulupiLanguage

 Sigma KEE - ChulupiLanguage
ChulupiLanguage(chulupi language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12079-12091
No TPTP formula. May not be expressible in strict first order. Languages.kif 12078-12078 Chulupi language is an instance of mataco language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14796-14796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14795-14795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14794-14794


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