primaryGeopoliticalSubdivision |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)) (instance ?SUBAREA ?TYPE)) |
Mid-level-ontology.kif 33717-33721 |
|
consequent |
![]() |
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 7275-7279 |
|
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)))) |
Mid-level-ontology.kif 33710-33715 |
|
appearance as argument number 0 |
![]() |
(primaryGeopoliticalSubdivision England UnitedKingdom) | Geography.kif 7307-7307 | United kingdom is a primary geopolitical subdivision of England |
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) | Geography.kif 7306-7306 | United kingdom is a primary geopolitical subdivision of northern ireland |
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) | Geography.kif 7305-7305 | United kingdom is a primary geopolitical subdivision of scotland |
(primaryGeopoliticalSubdivision Wales UnitedKingdom) | Geography.kif 7308-7308 | United kingdom is a primary geopolitical subdivision of Wales |
![]() |
![]() |