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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedKingdom

 Sigma KEE - UnitedKingdom
UnitedKingdom(英國)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2887-2887 英鎊 是 英國 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 365-366
No TPTP formula. May not be expressible in strict first order. Economy.kif 561-561 發達經濟 是 英國 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 179-179 發達國家 是 英國 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 812-812
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3631-3631
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3633-3633
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3632-3632
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3638-3638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3634-3634
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3637-3637
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3386-3386
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3636-3636
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3630-3630
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 363-363 英國 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 364-364 例 英國 and 歐洲國家
No TPTP formula. May not be expressible in strict first order. Government.kif 1443-1443 總理 是 英國 的 leader 職位

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4062-4062 英國 是 "UK" 的簡稱
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 3929-3929 英國 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3728-3728 安圭拉 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3738-3738 百慕大 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3742-3742 英屬印度洋領地 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3744-3744 英屬維爾京群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3747-3747 開曼群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3750-3750 ChannelIslands 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3766-3766 福克蘭群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3776-3776 直布羅陀 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3785-3785 根西島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3793-3793 人島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3799-3799 球衣 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3815-3815 蒙特塞拉特 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 756-756 巴勒斯坦 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3831-3831 皮特凱恩群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3836-3836 聖海倫娜 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3840-3840 南佐治亞和南三明治島嶼 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3848-3848 特克斯和凱科斯群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3130-3130 洛克曼聯合王國 是 英國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3134-3134 倫敦 是 英國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3183-3183 曼徹斯特聯合王國 是 英國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Cars.kif 4728-4728 BritishSeagullCorp 的 headquarters 是在 英國

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2701-2701 "GB" 在 ISO-3166-1-alpha-2 denotes 英國

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 521-523

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 會員 英國 and 歐洲貨幣聯盟


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