geopoliticalSubdivision |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1443-1447 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14114-14119 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14112-14112 | O argumento numero 1 de geopoliticalSubdivision e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14113-14113 | O argumento numero 2 de geopoliticalSubdivision e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14109-14109 | geopoliticalSubdivision e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14110-14110 | geopoliticalSubdivision e' uma instancia de Relacao Transitiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14111-14111 | geopoliticalSubdivision e' uma sub-relacao de geographicSubregion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 804-804 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 814-814 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 483-483 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 815-815 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 435-435 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 505-505 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 385-385 | administrativeCenter e' uma sub-relacao de geopoliticalSubdivision |
No TPTP formula. May not be expressible in strict first order. | Government.kif 403-403 | primaryGeopoliticalSubdivision e' uma sub-relacao de geopoliticalSubdivision |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 805-805 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25842-25842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25841-25841 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25840-25840 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4668-4673 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 |
|
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 395-397 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8079-8084 | Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2432-2445 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6931-6936 |
|
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. | Mid-level-ontology.kif 19691-19699 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4255-4255 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4275-4275 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4259-4259 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4267-4267 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4279-4279 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4251-4251 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4271-4271 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4263-4263 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4283-4283 | Sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4287-4287 | Sub-divisao geopolitica |