No TPTP formula. May not be expressible in strict first order. |
Weather.kif 482-482 |
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 565-565 |
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 636-636 |
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 1628-1628 |
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 1800-1800 |
Real number is exhaustively partitioned into negative real number and nonnegative real number |