No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2101-2102 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2103-2103 |
域 RotationFn, 1 and 旋轉 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2104-2104 |
域 RotationFn, 2 and TimeDuration |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2099-2099 |
例 RotationFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2105-2105 |
範圍 RotationFn and FunctionQuantity |