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 2900-2900 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 533-533 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 1429-1429 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 12880-12880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12879-12879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12878-12878

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2659-2659 "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