ParkingRegion(parking area) | parking_space, parking_zone |
appearance as argument number 1 |
(documentation ParkingRegion EnglishLanguage "A ParkingRegion is a Region where TransportationDevice is kept temporarily") | TransportDetail.kif 32-33 | |
(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | Parking area is a subclass of region |
appearance as argument number 2 |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 44-44 | Disabled parking is a subclass of parking area |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 61-61 | Street parking is a subclass of parking area |
(termFormat EnglishLanguage ParkingRegion "parking area") | TransportDetail.kif 34-34 |
antecedent |
(=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)))) |
TransportDetail.kif 36-42 |
|
consequent |