DisabledParking
|
|
appearance as argument number 1 |
(documentation DisabledParking EnglishLanguage "DisabledParking is a ParkingRegion that is reserved for people bearing the Disabled Placard") | TransportDetail.kif 45-46 | |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 44-44 | DisabledParking は ParkingRegion の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage DisabledParking "disabled parking") | TransportDetail.kif 47-47 |
antecedent |
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT)) |
TransportDetail.kif 49-59 |
|