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 e' uma instancia de Nacao
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 encontra UnitedStates

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 Alaska encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 978-978 Maine encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 999-999 Michigan encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1003-1003 Minnesota encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1020-1020 Montana encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 NewHampshire encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 NewYorkState encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1070-1070 NorthDakota encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1076-1076 Ohio encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 Pennsylvania encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1125-1125 Vermont encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1140-1140 Washington encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4081-4081 Canada se chama nome "Canada"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 MontrealCanada e' uma &parte 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