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

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2193-2195
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2192-2192	Check-out service is a subclass of service

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2216-2216	Self-service check-out is a subclass of check-out service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2196-2196	Self-service check-out is a subclass of check-out service

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2207-2214	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2198-2205	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

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 688-699	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1766-1774	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