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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KoroshiLanguage

 Sigma KEE - KoroshiLanguage
KoroshiLanguage(koroshi语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9015-9018
No TPTP formula. May not be expressible in strict first order. Languages.kif 9014-9014 Koroshi语言 是 balochi语言 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32803-32803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32802-32802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32801-32801


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