(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 983-987 |
|
(subclass LandlockedArea LandArea) | Geography.kif 898-898 | LandlockedArea est une sous-classe de zone de terre |