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