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 2893-2893 Canadian dollar is a currency type of canada
(documentation Canada EnglishLanguage "A Nation in North America.") CountriesAndRegions.kif 1206-1206
(economyType Canada AdvancedEconomy) Economy.kif 533-533 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://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ C/ Canada.png") pictureList.kif 317-317
(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 1398-1398 Prime minister is a leader position of canada
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 Canada meets united states

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


(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 4083-4083 Canada has name "Canada"
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 Montreal canada is a part of canada
(termFormat ChineseLanguage Canada "加拿大") domainEnglishFormat.kif 12817-12817
(termFormat ChineseTraditionalLanguage Canada "加拿大") domainEnglishFormat.kif 12816-12816
(termFormat EnglishLanguage Canada "canada") domainEnglishFormat.kif 12815-12815

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


(codeMapping ISO-3166-1-alpha-2 "CA" Canada) Media.kif 2641-2641 "CA" in ISO-3166-1-alpha-2 denotes 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners