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
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2890-2890 Canadian dollar is a currency type of canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1206-1206
No TPTP formula. May not be expressible in strict first order. Economy.kif 538-538 Advanced economy is an economy type of canada
No TPTP formula. May not be expressible in strict first order. Economy.kif 151-151 Developed country is an economy type of canada
No TPTP formula. May not be expressible in strict first order. pictureList.kif 317-317
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 408-408 Canada is a geographic subregion of northern north america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 409-409 Canada is an instance of nation
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1444 Prime minister is a leader position of canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 410-410 Canada meets united states

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 Alaska meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 978-978 Maine meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 999-999 Michigan meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1003-1003 Minnesota meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1020-1020 Montana meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 New hampshire meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 New york state meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1070-1070 North dakota meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1076-1076 Ohio meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 Pennsylvania meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1125-1125 Vermont meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1140-1140 Washington meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4081-4081 Canada has name "Canada"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 Montreal canada is a part of canada
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12877-12877
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12876-12876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12875-12875

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2671-2671 "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 3.0 is open source software produced by Articulate Software and its partners