No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7758-7766 |
An object is larger than another object if and only if for all a real number, another real number and an unit of measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13605-13611 |
The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 378-380 |
The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s) |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 397-399 |
The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13326-13331 |
The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25687-25696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13536-13545 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13566-13575 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13577-13586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13505-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13516-13527 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6165-6176 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1172-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25722-25737 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17143-17164 |
- If a process is an instance of accelerating and an agent is an agent of the process,
- then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number 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 real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28812-28816 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27478-27482 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28918-28922 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28112-28116 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27561-27565 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |