No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 956-960 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1910-1921 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2365-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 45-52 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1944-1962 |
- If a process is an instance of room service,
- then there exist a cognitive agent, an entity,, , another cognitive agent,, , another process,, , another entity,, , a third process and an object such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent is an agent of the process and the other process is an instance of requesting and the other cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the other cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 138-140 |
|