reservationStart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - reservationStart

reservationStart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 656-658
No TPTP formula. May not be expressible in strict first order.	Dining.kif 659-659	The number 1 argument of reservationStart is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Dining.kif 660-660	The number 2 argument of reservationStart is an instance of reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 655-655	reservationStart is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 1111-1111

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 669-682	If a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists a process such that the process is an instance of intentional process and the other agent is an agent of the process and the process ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2887-2898	If an agent is a reservation for a kind of hotel unit and a reservation starts at the agent and another reservation ends at the agent and the agent reserves a human, then the statement a temporary residence is an instance of a kind of hotel unit and the human stays at the temporary residence holds during interval between the reservation and the other reservation has the modal force of likely

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners