No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1269-1270 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1274-1274 |
AccelerationFn 的 1 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1275-1275 |
AccelerationFn 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1276-1276 |
AccelerationFn 的 3 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1277-1277 |
AccelerationFn 的 4 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1278-1278 |
AccelerationFn 是 四元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1279-1279 |
AccelerationFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1280-1280 |
AccelerationFn 的 range 是 函数量 的实例 |