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 3004-3004 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 572-572 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 10627-10627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10626-10626
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10625-10625

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