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 1296-1296 |
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 1281-1281 |
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 1372-1372 |
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 1362-1362 |
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 1025-1025 |
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 1646-1646 |
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 1804-1804 |
Real number is exhaustively partitioned into negative real number and nonnegative real number |