No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1282-1282 |
AntilockBrake 是 车辆制动器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 651-651 |
DiscBrake 是 车辆制动器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 602-602 |
DrumBrake 是 车辆制动器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 554-554 |
ParkingBrake 是 车辆制动器 的 subclass |
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 |