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 and 物理系統 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 796-796 |
域 dampingRatio, 2 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 794-794 |
例 dampingRatio and BinaryPredicate |