VideoCheckOut
|
|
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 2219-2221 | |
(subclass VideoCheckOut SelfServiceCheckOut) | Hotel.kif 2218-2218 | Video check-out is a subclass of self-service check-out |
appearance as argument number 2 |
(termFormat EnglishLanguage VideoCheckOut "video check-out") | Hotel.kif 2222-2222 |
antecedent |
(=> (instance ?CHECK VideoCheckOut) (exists (?VD) (and (instance ?VD VideoDisplay) (instrument ?CHECK ?VD)))) |
Hotel.kif 2224-2229 |
|
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR)))) |
Hotel.kif 2231-2238 |
|
consequent |
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR)))) |
Hotel.kif 2231-2238 |
|