No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1282-1282 |
子類 AntilockBrake 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 602-602 |
子類 DrumBrake and 車輛制動器 |
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. |
domainEnglishFormat.kif 61358-61358 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61357-61357 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61356-61356 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 675-675 |
BrakeCaliper typically 是 車輛制動器 的 part |