CheckOutService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CheckOutService

CheckOutService(check-out service)

check_out, feel_out, sound_out

appearance as argument number 1

(documentation CheckOutService EnglishLanguage "CheckOutService is a type of ServiceProcess where a customer announces his departure, signalling the end of the core service being offered to him. This is normally where bills are settled")	Hotel.kif 2182-2184
(subclass CheckOutService ServiceProcess)	Hotel.kif 2181-2181	Check-out service is a subclass of service

appearance as argument number 2

(subclass SelfServiceCheckOut CheckOutService)	Hotel.kif 2205-2205	Self-service check-out is a subclass of check-out service
(termFormat EnglishLanguage CheckOutService "check-out service")	Hotel.kif 2185-2185	Self-service check-out is a subclass of check-out service

antecedent

(=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE)))	Hotel.kif 2196-2203	If a process is an instance of check-in service and the process causes another process and a physical is an instance of check-out service, then the time of existence of the physical finishes the time of existence of the other process
(=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK))))))	Hotel.kif 2187-2194	If a physical is an instance of check-out service, then there exists the physicalIN such that the physicalIN is an instance of check-in service and the beginning of the time of existence of the physicalIN happens before the beginning of the time of existence of the physical

consequent

(=> (and (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T)))))	Hotel.kif 684-695	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
(=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X)))))	Hotel.kif 1755-1763	If a physical is an instance of front desk, then the physical has the purpose there exists an entity such that the entity is an instance of check-in service or the entity is an instance of check-out service and the physical is an agent of the entity

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