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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Canada
Canada(加拿大)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2890-2890 加拿大元 是 加拿大 的 currency 類別
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 發達經濟 是 加拿大 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 151-151 發達國家 是 加拿大 的 economy 類別
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 加拿大 是 北美洲北部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 409-409 例 加拿大 and Nation
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1444 總理 是 加拿大 的 leader 職位
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 410-410 空間的符合 加拿大 and 美國

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 空間的符合 阿拉斯加州 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 空間的符合 Idaho and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 978-978 空間的符合 Maine and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 999-999 空間的符合 密歇根州 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1003-1003 空間的符合 明尼蘇達 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1020-1020 空間的符合 Montana and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 空間的符合 新罕布什爾 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 空間的符合 紐約州 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1070-1070 空間的符合 北達科他州 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1076-1076 空間的符合 俄亥俄州 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 空間的符合 賓夕法尼亞 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1125-1125 空間的符合 佛蒙特 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1140-1140 空間的符合 華盛頓 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4081-4081 名 "Canada" and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 部分 蒙特利爾加拿大 and 加拿大
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" 在 ISO-3166-1-alpha-2 denotes 加拿大


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