CheckInService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CheckInService

CheckInService(check-in service)

check-in, check_in, sign_in

appearance as argument number 1

(documentation CheckInService EnglishLanguage "CheckInService refers to the process of informing a serviceProvider that the customer is ready for some Process to begin")	Hotel.kif 2149-2151
(subclass CheckInService ServiceProcess)	Hotel.kif 2148-2148	Check-in service is a subclass of service

appearance as argument number 2

(subclass SelfServiceCheckIn CheckInService)	Hotel.kif 2168-2168	Self-service check-in is a subclass of check-in service
(termFormat EnglishLanguage CheckInService "check-in service")	Hotel.kif 2152-2152	Self-service check-in is a subclass of check-in 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 CheckInService) (exists (?AGENT ?CUST ?GREET ?SERVICE) (and (customer ?CUST ?AGENT) (serviceProvider ?CHECK ?AGENT) (instance ?GREET Greeting) (agent ?GREET ?CUST) (destination ?GREET ?AGENT) (subProcess ?GREET ?CHECK) (instance ?SERVICE Process) (agent ?SERVICE ?AGENT) (causes ?CHECK ?SERVICE))))	Hotel.kif 2154-2166	If a service is an instance of check-in service, then there exist a cognitive agent, another cognitive agent,, , a process and another process such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent provides a service during the service and the process is an instance of greeting and the other cognitive agent is an agent of the process and the process ends up at the cognitive agent and the process is a subprocess of the service and the other process is an instance of process and the cognitive agent is an agent of the other process and the service causes the other process

consequent

(=> (checkInTime ?HOTEL ?TIME) (modalAttribute (exists (?T ?C) (and (instance ?T ?TIME) (instance ?C CheckInService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))) Unlikely))	Hotel.kif 667-675	If an organization allows checkins after a kind of time point, then the statement there exist an entity and another entity such that the entity is an instance of a kind of time point and the other entity is an instance of check-in service and the organization is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity has the modal force of unlikely
(=> (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
(=> (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