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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedKingdom
UnitedKingdom(united kingdom)
more pictures...
Albion, Anglia, Britain, English, Great_Britain, U.K., UK, United_Kingdom, United_Kingdom_of_Great_Britain_and_Northern_Ireland

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2897-2897 British pound is a currency type of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 365-366
No TPTP formula. May not be expressible in strict first order. Economy.kif 556-556 Advanced economy is an economy type of united kingdom
No TPTP formula. May not be expressible in strict first order. Economy.kif 179-179 Developed country is an economy type of united kingdom
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3632-3632
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3634-3634
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3633-3633
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3639-3639
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3635-3635
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3638-3638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3387-3387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3637-3637
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3631-3631
No TPTP formula. May not be expressible in strict first order. pictureList.kif 812-812
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 363-363 United kingdom is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 364-364 United kingdom is an instance of european nation
No TPTP formula. May not be expressible in strict first order. Government.kif 1440-1440 Prime minister is a leader position of united kingdom

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4062-4062 "UK" is an abbreviation of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 68-68 United kingdom is a capital city of London
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 United kingdom is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3728-3728 Anguilla is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3738-3738 Bermuda is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3742-3742 British indian ocean territory is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3744-3744 British virgin islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3747-3747 Cayman islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3750-3750 ChannelIslands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3766-3766 Falkland islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3776-3776 Gibraltar is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3785-3785 Guernsey is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3793-3793 Isle of man is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3799-3799 Jersey is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3815-3815 Montserrat is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 756-756 Palestine is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3831-3831 Pitcairn islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3836-3836 Saint helena is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3840-3840 South georgia and the south sandwich islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3848-3848 Turks and caicos islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3130-3130 Lockerbie united kingdom is a geographic subregion of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3134-3134 London is a geographic subregion of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3183-3183 Manchester united kingdom is a geographic subregion of united kingdom
No TPTP formula. May not be expressible in strict first order. Cars.kif 4731-4731 The headquarters of British Seagull corp is in united kingdom

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2687-2687 "GB" in ISO-3166-1-alpha-2 denotes united kingdom

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 521-523

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 United kingdom is not a member of european monetary union


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