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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfServiceCheckOut

Sigma KEE - SelfServiceCheckOut
SelfServiceCheckOut(self-service check-out)

appearance as argument number 1
-------------------------


(documentation SelfServiceCheckOut EnglishLanguage "SelfServiceCheckOut is a type of CheckOutService that does not involve interfacing with a Human. Instead, some automated process is put in place") Hotel.kif 2206-2208
(subclass SelfServiceCheckOut CheckOutService) Hotel.kif 2205-2205 Self-service check-out is a subclass of check-out service

appearance as argument number 2
-------------------------


(subclass VideoCheckOut SelfServiceCheckOut) Hotel.kif 2218-2218 Video check-out is a subclass of self-service check-out
(termFormat EnglishLanguage SelfServiceCheckOut "self-service check-out") Hotel.kif 2209-2209

antecedent
-------------------------


(=>
    (instance ?CHECK SelfServiceCheckOut)
    (exists (?AGENT)
        (and
            (agent ?CHECK ?AGENT)
            (not
                (instance ?AGENT Human)))))
Hotel.kif 2211-2216


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

Show without tree


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