TreeView Knowledge Base Browser - 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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 460-460	域依賴的地緣政治區域, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 456-456	例依賴的地緣政治區域 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Government.kif 457-457	例依賴的地緣政治區域 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Government.kif 458-458	相關的內部概念依賴的地緣政治區域 and 主要地緣政治細分
No TPTP formula. May not be expressible in strict first order.	Geography.kif 966-966	子關係依賴的地緣政治區域 and 聲稱領土

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	GeopoliticalArea 是 GeopoliticalArea 的 dependent 地緣政治細分 GeopoliticalArea and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 469-471	GeopoliticalArea 是 GeopoliticalArea 的 dependent 擁有 GeopoliticalArea and GeopoliticalArea

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	TimeInterval 是 GeopoliticalArea 的 independence 日期例 TimePosition and TimeInterval 持有期間未來 TimePosition and entity GeopoliticalArea 是 entity 的 dependent
No TPTP formula. May not be expressible in strict first order.	Government.kif 473-475	GeopoliticalArea 對於 GeopoliticalArea dependent 區域的類別 GeopoliticalArea GeopoliticalArea 是 GeopoliticalArea 的 dependent
No TPTP formula. May not be expressible in strict first order.	Government.kif 482-485	地緣政治細分 GeopoliticalArea and GeopoliticalArea GeopoliticalArea 是 GeopoliticalArea 的 dependent
No TPTP formula. May not be expressible in strict first order.	Government.kif 493-498	例 GeopoliticalArea and 海外地區 GeopoliticalArea 例 GeopoliticalArea and Nation GeopoliticalArea 是 GeopoliticalArea 的 dependent
No TPTP formula. May not be expressible in strict first order.	Media.kif 2614-2616	會員 GeopoliticalArea and UnitedStatesMinorOutlyingIslands GeopoliticalArea 是美國的 dependent

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: