No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2567-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2564-2564 |
engineIdleSpeed 的 1 数量 是 内燃机 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2565-2565 |
engineIdleSpeed 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2563-2563 |
engineIdleSpeed 是 二元谓语 的 instance |