No TPTP formula. May not be expressible in strict first order. |
Weather.kif 871-871 |
The number 2 argument of cloud cover fraction is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1301-1301 |
The number 2 argument of income distribution by gini index is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1286-1286 |
The number 2 argument of income distribution by gini index in period is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1377-1377 |
The number 2 argument of labor force total is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1367-1367 |
The number 2 argument of labor force total in period is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 954-954 |
The number 3 argument of overcast days in period is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1024-1024 |
The number 2 argument of relative humidity is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1678-1678 |
The number 2 argument of slope gradient is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1832-1832 |
Real number is exhaustively partitioned into negative real number and nonnegative real number |