No TPTP formula. May not be expressible in strict first order. |
Weather.kif 483-483 |
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 566-566 |
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 637-637 |
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 1616-1616 |
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 1960-1960 |
Real number is exhaustively partitioned into negative real number and nonnegative real number |