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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedKingdom

 Sigma KEE - UnitedKingdom
UnitedKingdom
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2887-2887 currencyType UnitedKingdom and BritishPound
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 561-561 economyType UnitedKingdom and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order. Economy.kif 179-179 economyType UnitedKingdom and DevelopedCountry
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. pictureList.kif 3631-3631
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 3632-3632
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 3634-3634
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 3386-3386
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3636-3636
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3630-3630
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 363-363 geographicSubregion UnitedKingdom and WesternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 364-364 UnitedKingdom est une instance de EuropeanNation
No TPTP formula. May not be expressible in strict first order. Government.kif 1443-1443 leaderPosition UnitedKingdom and PrimeMinister

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4062-4062 abbreviation "UK" and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 68-68 capitalCity LondonUnitedKingdom and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 claimedTerritory Antarctica and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3728-3728 dependentGeopoliticalArea Anguilla and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3738-3738 dependentGeopoliticalArea Bermuda and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3742-3742 dependentGeopoliticalArea BritishIndianOceanTerritory and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3744-3744 dependentGeopoliticalArea BritishVirginIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3747-3747 dependentGeopoliticalArea CaymanIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3750-3750 dependentGeopoliticalArea ChannelIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3766-3766 dependentGeopoliticalArea FalklandIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3776-3776 dependentGeopoliticalArea Gibraltar and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3785-3785 dependentGeopoliticalArea Guernsey and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3793-3793 dependentGeopoliticalArea IsleOfMan and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3799-3799 dependentGeopoliticalArea Jersey and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3815-3815 dependentGeopoliticalArea Montserrat and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 756-756 dependentGeopoliticalArea Palestine and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3831-3831 dependentGeopoliticalArea PitcairnIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3836-3836 dependentGeopoliticalArea SaintHelena and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3840-3840 dependentGeopoliticalArea SouthGeorgiaAndTheSouthSandwichIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3848-3848 dependentGeopoliticalArea TurksAndCaicosIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3130-3130 geographicSubregion LockerbieUnitedKingdom and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3134-3134 geographicSubregion LondonUnitedKingdom and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3183-3183 geographicSubregion ManchesterUnitedKingdom and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. Cars.kif 4728-4728 headquartersOfOrganization BritishSeagullCorp and UnitedKingdom

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 2701-2701 codeMapping ISO-3166-1-alpha-2, "GB" and UnitedKingdom

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 3221-3221 UnitedKingdom est un membre de EuropeanMonetaryUnion


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