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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Canada

 Sigma KEE - Canada
Canada

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2890-2890 currencyType Canada and CanadianDollar
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 economyType Canada and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order. Economy.kif 151-151 economyType Canada and DevelopedCountry
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 geographicSubregion Canada and NorthernNorthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 409-409 Canada est une instance de nation
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1444 leaderPosition Canada and PrimeMinister
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 410-410 Canada rencontre UnitedStates

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 Alaska rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 978-978 Maine rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 999-999 Michigan rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1003-1003 Minnesota rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1020-1020 Montana rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 NewHampshire rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 NewYorkState rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1070-1070 NorthDakota rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1076-1076 Ohio rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 Pennsylvania rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1125-1125 Vermont rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1140-1140 Washington rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4081-4081 Canada s'appele nom "Canada"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 MontrealCanada est une partie de 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 codeMapping ISO-3166-1-alpha-2, "CA" and Canada


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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