DisabledParking - Sigma Knowledge base Browser

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	Disabled parking is a subclass of parking area

appearance as argument number 2

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