Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VideoCheckOut
VideoCheckOut(video check-out)

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners