| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3412-3412 | 子類 車輛制動器 and 車輛控制器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 552-552 | 子類 車輛制動器 and Brake |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 554-554 | 子類 ParkingBrake and 車輛制動器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 602-602 | 子類 DrumBrake and 車輛制動器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 651-651 | 子類 DiscBrake and 車輛制動器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1282-1282 | 子類 AntilockBrake and 車輛制動器 |
|
|