No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1282-1282 |
AntilockBrake e' uma sub-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 651-651 |
DiscBrake e' uma sub-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 602-602 |
DrumBrake e' uma sub-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 554-554 |
ParkingBrake e' uma sub-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61360-61360 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61359-61359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61358-61358 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 675-675 |
typicalPart BrakeCaliper and VehicleBrake |