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 7242-7246 | |
(=> (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 7274-7274 | primaryGeopoliticalSubdivision England and UnitedKingdom |
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) | Geography.kif 7273-7273 | primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom |
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) | Geography.kif 7272-7272 | primaryGeopoliticalSubdivision Scotland and UnitedKingdom |
(primaryGeopoliticalSubdivision Wales UnitedKingdom) | Geography.kif 7275-7275 | primaryGeopoliticalSubdivision Wales and UnitedKingdom |
![]() |
![]() |