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 e' uma sub-classe de Regiao |
appearance as argument number 2 |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 44-44 | DisabledParking e' uma sub-classe de ParkingRegion |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 61-61 | StreetParking e' uma sub-classe de ParkingRegion |
(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 |