GeographicArea |
(=> (instance ?X Kidnapping) (exists (?A ?LOC1 ?LOC2) (and (instance ?A SentientAgent) (instance ?LOC1 GeographicArea) (instance ?LOC2 GeographicArea) (not (equal ?LOC1 ?LOC2)) (holdsDuring (ImmediatePastFn (WhenFn ?X)) (located ?A ?LOC1)) (holdsDuring (WhenFn ?X) (located ?A ?LOC2))))) |
Mid-level-ontology.kif 22012-22027 | |
(=> (instance ?X LandVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (surface ?SURF GeographicArea) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3465-3474 | |
(=> (instance ?X SubwaySystem) (exists (?SURF) (and (surface ?SURF GeographicArea) (orientation ?X ?SURF Below)))) |
Transportation.kif 328-333 | |
(=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 1719-1725 |