(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6931-6936 | |
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE)) |
Geography.kif 6921-6923 |