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 est une sous-classe de r�gion |
appearance as argument number 2 |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 46-46 | DisabledParking est une sous-classe de ParkingRegion |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 65-65 | StreetParking est une sous-classe de ParkingRegion |
(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 |