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