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 | The number 1 argument of dependent geopolitical area is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 460-460 | The number 2 argument of dependent geopolitical area is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 456-456 | dependent geopolitical area is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 457-457 | dependent geopolitical area is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 458-458 | dependent geopolitical area is internally related to primary geopolitical subdivision |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 966-966 | dependent geopolitical area is a subrelation of claimed territory |
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 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2562-2562 | Aaland islands is a dependent of finland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3726-3726 | American samoa is a dependent of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3728-3728 | Anguilla is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3730-3730 | Aruba is a dependent of netherlands |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3732-3732 | Ashmore and cartier islands is a dependent of australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3734-3734 | Baker island is a dependent of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3736-3736 | Bassas da india is a dependent of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3738-3738 | Bermuda is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3740-3740 | Bouvet island is a dependent of norway |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3742-3742 | British indian ocean territory is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3744-3744 | British virgin islands is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3747-3747 | Cayman islands is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3750-3750 | Channel islands is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3754-3754 | Christmas island is a dependent of australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3756-3756 | Clipperton island is a dependent of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3758-3758 | Cocos keeling islands is a dependent of australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3760-3760 | Cook islands is a dependent of new zealand |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3762-3762 | Coral sea islands is a dependent of australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3764-3764 | Europa island is a dependent of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3766-3766 | Falkland islands is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3768-3768 | Faroe islands is a dependent of denmark |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3770-3770 | French guiana is a dependent of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3772-3772 | French polynesia is a dependent of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3774-3774 | French southern and antarctic lands is a dependent of france |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |