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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KaoRiverLanguage

 Sigma KEE - KaoRiverLanguage
KaoRiverLanguage(高河語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13856-13857
No TPTP formula. May not be expressible in strict first order. Languages.kif 13855-13855 子類 高河語 and 北部北哈馬拉語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13860-13860 例 高語 and 高河語
No TPTP formula. May not be expressible in strict first order. Languages.kif 13871-13871 例 moodle語言 and 高河語
No TPTP formula. May not be expressible in strict first order. Languages.kif 13881-13881 例 pagu語言 and 高河語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32113-32113
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32112-32112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32111-32111


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