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 2142-2144
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2141-2141	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 2165-2165	Self-service check-out is a subclass of check-out service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2145-2145

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2156-2163	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 2147-2154	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 663-674	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 1717-1725	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