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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capitalCity

 Sigma KEE - capitalCity
capitalCity

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


No TPTP formula. May not be expressible in strict first order. Government.kif 379-380
No TPTP formula. May not be expressible in strict first order. Government.kif 375-375 域 首都, 1 and City
No TPTP formula. May not be expressible in strict first order. Government.kif 376-376 域 首都, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Government.kif 374-374 例 首都 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Government.kif 377-377 子關係 首都 and 行政中心

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 356-356
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 355-355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 354-354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13080-13080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13079-13079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13078-13078

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 717-717 德國 是 柏林，德國 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 721-721 瑞士 是 伯爾尼瑞士 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 858-858 俄亥俄州 是 哥倫布俄亥俄州 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 844-844 丹麥 是 哥本哈根丹麥 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 838-838 科羅拉多州 是 丹佛科羅拉多州 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 825-825 夏威夷 是 檀香山夏威夷 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1837-1837 以色列 是 耶路撒冷以色列 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2980-2980 西方銀行 是 JerusalemPalestine 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 68-68 英國 是 倫敦 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 749-749 俄國 是 莫斯科俄羅斯 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 56-56 法國 是 巴黎 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 771-771 羅德島 是 天意羅德島 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 775-775 弗吉尼亞州 是 里士滿弗吉尼亞州 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 779-779 意大利 是 意大利羅馬 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 786-786 明尼蘇達 是 聖保羅明尼蘇達州 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2389-2389 日本 是 日本東京 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 802-802 波蘭 是 華沙波蘭 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1050-1050 美國 是 華盛頓特區美國 的 capital 城市


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