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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PurepechaLanguage

 Sigma KEE - PurepechaLanguage
PurepechaLanguage(purepecha语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3174-3178
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8670-8670
No TPTP formula. May not be expressible in strict first order. Languages.kif 3173-3173 Purepecha语言 是 口语人类语言 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48170-48170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48169-48169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48168-48168


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