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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dependentGeopoliticalArea
dependentGeopoliticalArea

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


No TPTP formula. May not be expressible in strict first order. Government.kif 462-467
No TPTP formula. May not be expressible in strict first order. Government.kif 459-459 依赖的地缘政治区域 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 460-460 依赖的地缘政治区域 的 2 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 456-456 依赖的地缘政治区域 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 457-457 依赖的地缘政治区域 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 458-458 依赖的地缘政治区域 和 主要地缘政治细分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Geography.kif 966-966 依赖的地缘政治区域 是 声称领土 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3230-3230
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3229-3229
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3228-3228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19128-19128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19127-19127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19126-19126

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 477-480
No TPTP formula. May not be expressible in strict first order. Government.kif 469-471

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


No TPTP formula. May not be expressible in strict first order. Government.kif 546-553
No TPTP formula. May not be expressible in strict first order. Government.kif 473-475
No TPTP formula. May not be expressible in strict first order. Government.kif 482-485
No TPTP formula. May not be expressible in strict first order. Government.kif 493-498
No TPTP formula. May not be expressible in strict first order. Media.kif 2614-2616

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2562-2562 AalandIslands 是 芬兰 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3726-3726 美国萨摩亚 是 美国 的 dependent
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 3730-3730 阿鲁巴 是 荷兰 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3732-3732 阿什莫尔和卡地亚岛屿 是 澳大利亚 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3734-3734 贝克岛 是 美国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3736-3736 Bassas da 印度 是 法国 的 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 3740-3740 布维岛 是 挪威 的 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 3754-3754 圣诞岛 是 澳大利亚 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3756-3756 Clipperton岛 是 法国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3758-3758 科科斯基林群岛 是 澳大利亚 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3760-3760 库克群岛 是 新西兰 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3762-3762 珊瑚海岛屿 是 澳大利亚 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3764-3764 欧罗巴岛 是 法国 的 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 3768-3768 法罗群岛 是 丹麦 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3770-3770 法属圭亚那 是 法国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3772-3772 法属波利尼西亚 是 法国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3774-3774 法国南部和南极的土地 是 法国 的 dependent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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