TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DisabledParking ParkingRegion)	TransportDetail.kif 46-46	Disabled parking is a subclass of parking area
(documentation DisabledParking EnglishLanguage "DisabledParking is a ParkingRegion that is reserved for people bearing the Disabled Placard")	TransportDetail.kif 47-48	Disabled parking is a subclass of parking area

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?PARK DisabledParking)
        (instance ?AGENT Human)
        (attribute ?AGENT ?ATTR)
        (instance ?ATTR Disability))
    (hasPurposeForAgent ?PARK ?AGENT
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice)))))

If X is an instance of disabled parking, Y is an instance of human, Z is an attribute of Y, and Z is an instance of disability, then X has the purpose Y for there exist W, V such that W is an instance of putting, X plays role in event destination for W, V plays role in event patient for W, and V is an instance of transportation device