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 加拿大 是 国家 的 instance
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 加拿大 接上 美国

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 阿拉斯加州 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 978-978 Maine 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 999-999 密歇根州 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1003-1003 明尼苏达 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1020-1020 Montana 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 新罕布什尔 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 纽约州 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1070-1070 北达科他州 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1076-1076 俄亥俄州 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 宾夕法尼亚 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1125-1125 佛蒙特 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1140-1140 华盛顿 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4081-4081 加拿大 的名 是 "Canada"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 蒙特利尔加拿大 是 加拿大 的 part
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