ParkingRegion
|
|
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 | ParkingRegion 是 地区 的 subclass |
appearance as argument number 2 |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 46-46 | DisabledParking 是 ParkingRegion 的 subclass |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 65-65 | StreetParking 是 ParkingRegion 的 subclass |
(termFormat EnglishLanguage ParkingRegion "parking area") | TransportDetail.kif 34-34 |
antecedent |
(=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 36-44 |
consequent |