| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3412-3412 | Vehicle brake is a subclass of vehicle controller |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 552-552 | Vehicle brake is a subclass of 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. | 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 651-651 | Disc brake is a subclass of vehicle brake |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1282-1282 | Antilock brake is a subclass of vehicle brake |
|
|