| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13750-13771 |
- If a process is an instance of accelerating and an agent is an agent of the process,
- then there exist a quantity, another quantity,, , a third quantity,, , a fourth quantity,, , an entity and another entity such that the measure of the agent is the quantity the entity(s) per the third quantity the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity the entity(s) per the fourth quantity the other entity(s) holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity
|
