No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1411-1413 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1407-1410 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1414-1414 |
The number 1 argument of wave height is an instance of water wave |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1415-1415 |
The number 2 argument of wave height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1416-1416 |
wave height is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1417-1417 |
wave height is a subclass of constant quantity |