No TPTP formula. May not be expressible in strict first order. |
Cars.kif 798-807 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 795-795 |
dampingRatio 的 1 数量 是 物理系统 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 796-796 |
dampingRatio 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 794-794 |
dampingRatio 是 二元谓语 的 instance |