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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UkrainianLanguage

 Sigma KEE - UkrainianLanguage
UkrainianLanguage(ukrainian language)
more pictures...		Ukrainian

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 Ukrainian language is an instance of east slavic language

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


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

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14805-14805 "uk" in ISO-639-1 denotes ukrainian language


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