(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 998-1003 | |
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA)))) |
Geography.kif 989-996 |