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	O argumento numero 1 de dependentGeopoliticalArea e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 460-460	O argumento numero 2 de dependentGeopoliticalArea e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 456-456	dependentGeopoliticalArea e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Government.kif 457-457	dependentGeopoliticalArea e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Government.kif 458-458	dependentGeopoliticalArea e' relacionado internamente por SUMO a primaryGeopoliticalSubdivision
No TPTP formula. May not be expressible in strict first order.	Geography.kif 966-966	dependentGeopoliticalArea e' uma sub-relacao de claimedTerritory

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	dependentGeopoliticalArea Area Geopolitica and Area Geopolitica sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 469-471	dependentGeopoliticalArea Area Geopolitica and Area Geopolitica Area Geopolitica possui Area Geopolitica

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	independenceDate Area Geopolitica and Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Entidade dependentGeopoliticalArea Area Geopolitica and Entidade vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 473-475	dependentAreaOfType Area Geopolitica, Area Geopolitica and Area Geopolitica dependentGeopoliticalArea Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 482-485	Sub-divisao geopolitica dependentGeopoliticalArea Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 493-498	Area Geopolitica e' uma instancia de OverseasArea Area Geopolitica Area Geopolitica e' uma instancia de Nacao dependentGeopoliticalArea Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2614-2616	Area Geopolitica e' membro de UnitedStatesMinorOutlyingIslands dependentGeopoliticalArea Area Geopolitica and UnitedStates

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Media.kif 2562-2562	dependentGeopoliticalArea AalandIslands and Finland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3726-3726	dependentGeopoliticalArea AmericanSamoa and UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3728-3728	dependentGeopoliticalArea Anguilla and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3730-3730	dependentGeopoliticalArea Aruba and Netherlands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3732-3732	dependentGeopoliticalArea AshmoreAndCartierIslands and Australia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3734-3734	dependentGeopoliticalArea BakerIsland and UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3736-3736	dependentGeopoliticalArea BassasDaIndia and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3738-3738	dependentGeopoliticalArea Bermuda and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3740-3740	dependentGeopoliticalArea BouvetIsland and Norway
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3742-3742	dependentGeopoliticalArea BritishIndianOceanTerritory and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3744-3744	dependentGeopoliticalArea BritishVirginIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3747-3747	dependentGeopoliticalArea CaymanIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3750-3750	dependentGeopoliticalArea ChannelIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3754-3754	dependentGeopoliticalArea ChristmasIsland and Australia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3756-3756	dependentGeopoliticalArea ClippertonIsland and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3758-3758	dependentGeopoliticalArea CocosKeelingIslands and Australia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3760-3760	dependentGeopoliticalArea CookIslands and NewZealand
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3762-3762	dependentGeopoliticalArea CoralSeaIslands and Australia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3764-3764	dependentGeopoliticalArea EuropaIsland and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3766-3766	dependentGeopoliticalArea FalklandIslands and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3768-3768	dependentGeopoliticalArea FaroeIslands and Denmark
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3770-3770	dependentGeopoliticalArea FrenchGuiana and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3772-3772	dependentGeopoliticalArea FrenchPolynesia and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3774-3774	dependentGeopoliticalArea FrenchSouthernAndAntarcticLands and France

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: