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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RepublicOfGeorgia
RepublicOfGeorgia(republic of georgia)
Georgia, Sakartvelo

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3157-3157 Georgian lari is a currency type of republic of georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1239-1239
No TPTP formula. May not be expressible in strict first order. Economy.kif 583-583 Country in transition is an economy type of republic of georgia
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3594-3594
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 634-634 Republic of georgia is a geographic subregion of southwestern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 635-635 Republic of georgia is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4118-4118 Republic of georgia is an agent operates in area of united nations observer mission in georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2790-2790 Djakashari georgia is a geographic subregion of republic of georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2855-2855 Gali abkhazia georgia is a geographic subregion of republic of georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3570-3570 T bilisi georgia is a geographic subregion of republic of georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4192-4192 Republic of georgia has name "Republic Of Georgia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49562-49562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49561-49561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49560-49560

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2703-2703 "GE" in ISO-3166-1-alpha-2 denotes republic of georgia


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