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 2548-2551 |
The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1129-1137 |
A geopolitical area is sector value of GDP in period an industry attribute for a real number an unit of measure(s) with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is sector value of GDP the industry attribute for the real number the unit of measure(s) holds during the time position |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7596-7611 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17948-17959 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2080-2090 |
|
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. |
Dining.kif 1165-1176 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 155-170 |
|
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. |
Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1538-1544 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1522-1530 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1370-1377 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1597-1603 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1419-1425 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1316-1323 |
|
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. |
Medicine.kif 234-249 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 783-788 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 809-825 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |