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	DisabledParking è una sottoclasse di ParkingRegion

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