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 | Le nombre 1 argument de dependentGeopoliticalArea est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 460-460 | Le nombre 2 argument de dependentGeopoliticalArea est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 456-456 | dependentGeopoliticalArea est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 457-457 | dependentGeopoliticalArea est une instance de relation transitive |
No TPTP formula. May not be expressible in strict first order. | Government.kif 458-458 | dependentGeopoliticalArea est reli� � l'int�rieur de SUMO � primaryGeopoliticalSubdivision |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 966-966 | dependentGeopoliticalArea est une sous-relation 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 |
|
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 | 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 |