No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13604-13610 |
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 2092-2106 |
|
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 659-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13565-13574 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13576-13585 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5104-5115 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1482-1493 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5915-5924 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2969-2986 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2993-3011 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3018-3036 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2945-2962 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2851-2869 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5086-5091 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3102-3116 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1528-1543 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2178-2196 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2138-2152 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2229-2239 |
|
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 17928-17953 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2782-2795 |
- 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
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |