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 2128-2130
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2127-2127	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 2151-2151	Self-service check-out is a subclass of check-out service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2131-2131

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2142-2149	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 2133-2140	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 657-668	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 1703-1711	If a physical is an instance of front desk, then the physical 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