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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Canada
Canada(canada)
Canada

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


(currencyType Canada CanadianDollar) Economy.kif 3227-3227 Canadian dollar is a currency type of canada
(documentation Canada EnglishLanguage "A Nation in North America.") CountriesAndRegions.kif 1206-1206 Canadian dollar is a currency type of canada
(economyType Canada AdvancedEconomy) Economy.kif 538-538 Advanced economy is an economy type of canada
(economyType Canada DevelopedCountry) Economy.kif 151-151 Developed country is an economy type of canada
(externalImage Canada "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ C/ Canada.png") pictureList.kif 317-317 Developed country is an economy type of canada
(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
(leaderPosition Canada PrimeMinister) Government.kif 1406-1406 Prime minister is a leader position of canada
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 Canada meets united states

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


(geographicSubregion RockyMountains Canada) Geography.kif 363-363 Rocky Mountains is a geographic subregion 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 4076-4076 Canada has &ames$"name" "Canada"
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 Montreal canada is a part of canada
(termFormat ChineseLanguage Canada "加拿大") domainEnglishFormat.kif 12886-12886 Montreal canada is a part of canada
(termFormat ChineseTraditionalLanguage Canada "加拿大") domainEnglishFormat.kif 12885-12885 Montreal canada is a part of canada
(termFormat EnglishLanguage Canada "canada") domainEnglishFormat.kif 12884-12884 Montreal canada is a part of canada

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


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

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


(equal CanadianProvinces
    (GeographicPartTypeFn StateOrProvince Canada))		 Geography.kif 434-435 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 is open source software produced by Articulate Software and its partners