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 高河语 是 北部北哈马拉语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13860-13860 高语 是 高河语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13871-13871 Moodle语言 是 高河语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13881-13881 Pagu语言 是 高河语 的 instance
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