No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13452-13458 |
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. |
Geography.kif 2097-2111 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 666-676 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13413-13422 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13424-13433 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5075-5086 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1486-1497 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5057-5062 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3095-3109 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1532-1547 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2183-2201 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2143-2157 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2243-2253 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2255-2268 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 538-548 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17748-17773 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2747-2760 |
- If flat is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2768-2781 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31054-31062 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7636-7641 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4912-4917 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5192-5194 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |