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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubtiabaTlapanecLanguage
SubtiabaTlapanecLanguage(subtiaba tlapanec language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13146-13148
No TPTP formula. May not be expressible in strict first order. Languages.kif 13145-13145 Subtiaba tlapanec language is a subclass of spoken human language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13151-13151 Acatepec tlapaneco language is an instance of subtiaba tlapanec language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13166-13166 Azoyuc tlapaneco language is an instance of subtiaba tlapanec language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13178-13178 Malinal tepec tlapaneco language is an instance of subtiaba tlapanec language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13191-13191 Subtiaba language is an instance of subtiaba tlapanec language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55848-55848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55847-55847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55846-55846


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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