No TPTP formula. May not be expressible in strict first order. |
Food.kif 128-151 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1310-1320 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 641-643 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 844-851 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 664-673 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 686-701 |
- If a process is an instance of coffee making,
- then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 675-684 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1609-1616 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 754-762 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1423-1427 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1429-1439 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3444-3446 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 226-235 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3588-3593 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 862-869 |
|