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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UkrainianLanguage

 Sigma KEE - UkrainianLanguage
UkrainianLanguage(乌克兰语)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10775-10789
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8141-8141
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8142-8142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8145-8145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6935-6935
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8140-8140
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8139-8139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8144-8144
No TPTP formula. May not be expressible in strict first order. Languages.kif 10774-10774 乌克兰语 是 东斯拉夫语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59806-59806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59805-59805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59804-59804

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14805-14805 "uk" 在 ISO-639-1 denotes 乌克兰语


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