No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1947-1949 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1942-1944 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1952-1952 |
时间间隔表列 的 1 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1953-1953 |
时间间隔表列 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1955-1955 |
时间间隔表列 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1954-1954 |
时间间隔表列 的 range 是 连续时间间隔表列 的实例 |