No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1864-1866 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1859-1859 |
域 minCylinderVolume, 1 and 發動機 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1860-1860 |
域 minCylinderVolume, 2 and VolumeMeasure |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1858-1858 |
例 minCylinderVolume and BinaryPredicate |