VideoCheckOut - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VideoCheckOut EnglishLanguage "VideoCheckOut is a type of SelfServiceCheckOut where a VideoDisplay in a person's HotelUnit is used to do CheckOutService")	Hotel.kif 2230-2232
(subclass VideoCheckOut SelfServiceCheckOut)	Hotel.kif 2229-2229	Video check-out is a subclass of self-service check-out

appearance as argument number 2

(termFormat EnglishLanguage VideoCheckOut "video check-out")

Hotel.kif 2233-2233

antecedent

(=> (instance ?CHECK VideoCheckOut) (exists (?VD) (and (instance ?VD VideoDisplay) (instrument ?CHECK ?VD))))	Hotel.kif 2235-2240	If a process is an instance of video check-out, then there exists an object such that the object is an instance of video display and the object is an instrument for the process
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR))))	Hotel.kif 2242-2249	If an agent has video check-out, then there exist an object and another object such that the object is an instance of video display and the object is capable of doing video check-out as a instrument and the object is located at the other object and the other object is an instance of the agent

consequent

(=>
    (propertyAmenity ?HR VideoCheckOut)
    (exists (?VD ?ROOM)
        (and
            (instance ?VD VideoDisplay)
            (capability VideoCheckOut instrument ?VD)
            (located ?VD ?ROOM)
            (instance ?ROOM ?HR))))

Hotel.kif 2242-2249