No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1534-1534 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1535-1535 |
域 cylinderBore, 1 and 圓筒 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1536-1536 |
域 cylinderBore, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1532-1532 |
例 cylinderBore and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1531-1531 |
例 cylinderBore and SpatialRelation |