(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 983-987 | |
(subclass LandlockedArea LandArea) | Geography.kif 898-898 | LandlockedArea è una sottoclasse di SuperficieTerrestre |