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 英国 是 欧洲国家 的 instance
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 英国 不 是 欧洲货币联盟 的 member


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