No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1282-1282 |
Antilock brake is a subclass of vehicle brake |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 651-651 |
Disc brake is a subclass of vehicle brake |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 602-602 |
Drum brake is a subclass of vehicle brake |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 554-554 |
Parking brake is a subclass of vehicle brake |
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 |
A brake caliper is typically a part of a vehicle brake |