No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1894-1896 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1890-1890 |
域 maxCylinderVolume, 1 and 發動機 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1891-1891 |
域 maxCylinderVolume, 2 and VolumeMeasure |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1889-1889 |
例 maxCylinderVolume and BinaryPredicate |