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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Belarus
Belarus(belarus)
Belarus, Belorussia, Byelarus, Byelorussia, Republic_of_Belarus, White_Russia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2993-2993 Belarusian rubel is a currency type of belarus
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1191-1191
No TPTP formula. May not be expressible in strict first order. Economy.kif 577-577 Country in transition is an economy type of belarus
No TPTP formula. May not be expressible in strict first order. pictureList.kif 269-269
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 296-296 Belarus is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 297-297 Belarus is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4028-4028 Belarus has name "Belarus"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10619-10619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10618-10618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10617-10617

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2669-2669 "BY" in ISO-3166-1-alpha-2 denotes belarus


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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