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

KB Term:  Term intersection
English Word: 

Sigma KEE - Canada
Canada(canada)
Canada

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


(geographicSubregion Canada NorthernNorthAmerica) CountriesAndRegions.kif 408-408 Canada is a geographic subregion of northern north america
(instance Canada Nation) CountriesAndRegions.kif 409-409 Canada is an instance of nation
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 Canada meets united states
(documentation Canada EnglishLanguage "A Nation in North America.") CountriesAndRegions.kif 1206-1206 Canada meets united states
(economyType Canada DevelopedCountry) Economy.kif 151-151 Developed country is an economy type of canada
(economyType Canada AdvancedEconomy) Economy.kif 538-538 Advanced economy is an economy type of canada
(currencyType Canada CanadianDollar) Economy.kif 3222-3222 Canadian dollar is a currency type of canada
(leaderPosition Canada PrimeMinister) Government.kif 1415-1415 Prime minister is a leader position of canada
(externalImage Canada "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ C/ Canada.png") pictureList.kif 317-317 Prime minister is a leader position of canada

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


(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 Montreal canada is a part of canada
(meetsSpatially Alaska Canada) CountriesAndRegions.kif 880-880 Alaska meets canada
(meetsSpatially Idaho Canada) CountriesAndRegions.kif 940-940 Idaho meets canada
(meetsSpatially Maine Canada) CountriesAndRegions.kif 978-978 Maine meets canada
(meetsSpatially Michigan Canada) CountriesAndRegions.kif 999-999 Michigan meets canada
(meetsSpatially Minnesota Canada) CountriesAndRegions.kif 1003-1003 Minnesota meets canada
(meetsSpatially Montana Canada) CountriesAndRegions.kif 1020-1020 Montana meets canada
(meetsSpatially NewHampshire Canada) CountriesAndRegions.kif 1035-1035 New hampshire meets canada
(meetsSpatially NewYorkState Canada) CountriesAndRegions.kif 1058-1058 New york state meets canada
(meetsSpatially NorthDakota Canada) CountriesAndRegions.kif 1070-1070 North dakota meets canada
(meetsSpatially Ohio Canada) CountriesAndRegions.kif 1076-1076 Ohio meets canada
(meetsSpatially Pennsylvania Canada) CountriesAndRegions.kif 1090-1090 Pennsylvania meets canada
(meetsSpatially Vermont Canada) CountriesAndRegions.kif 1125-1125 Vermont meets canada
(meetsSpatially Washington Canada) CountriesAndRegions.kif 1140-1140 Washington meets canada
(names "Canada" Canada) CountriesAndRegions.kif 4081-4081 Canada has name "Canada"
(geographicSubregion RockyMountains Canada) Geography.kif 364-364 Rocky Mountains is a geographic subregion of canada
(located AkulivikQCAirport Canada) WorldAirports.kif 832-832 Akulivik QC Airport is located at canada
(located ChilkoLakeAerodromeBCAirport Canada) WorldAirports.kif 5262-5262 Chilko Lake Aerodrome BC Airport is located at canada
(located CoalHarbourWaterAerodromeBCAirport Canada) WorldAirports.kif 6424-6424 Coal Harbour Water Aerodrome BC Airport is located at canada
(located QuamichanLakeWaterAerodromeBCAirport Canada) WorldAirports.kif 7606-7606 Quamichan Lake Water Aerodrome BC Airport is located at canada
(located EmoONAirport Canada) WorldAirports.kif 8250-8250 Emo ON Airport is located at canada
(located GardenHillMBAirport Canada) WorldAirports.kif 10232-10232 Garden Hill MB Airport is located at canada
(located GarrowLakeAirport Canada) WorldAirports.kif 10646-10646 Garrow Lake Airport is located at canada
(located IlfordMBAirport Canada) WorldAirports.kif 12803-12803 Ilford MB Airport is located at canada
(located SummitLakeBCAirport Canada) WorldAirports.kif 13278-13278 Summit Lake BC Airport is located at canada

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(codeMapping ISO_3166_1_alpha_2 "CA" Canada) Media.kif 2618-2618 "CA" in ISO_3166_1_alpha_2 denotes canada

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


(equal CanadianProvinces
    (GeographicPartTypeFn StateOrProvince Canada))		 Geography.kif 1513-1514 equal Canadian provinces and all the instances of state or province in canada


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners