|
|
   BrakeDrum
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BrakeDrum EnglishLanguage "A rotating surface that is pressed on by the BrakeShoe.") | Cars.kif 667-668 | |
| (subclass BrakeDrum Device) | Cars.kif 666-666 | 子類 BrakeDrum and Device |
| (typicalPart BrakeDrum DrumBrake) | Cars.kif 669-669 | BrakeDrum typically 是 DrumBrake 的 part |
| (typicallyContainsPart BrakeDrum DrumBrake) | Cars.kif 670-670 | DrumBrake typically 有 part BrakeDrum |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeDrum "brake drum") | domainEnglishFormat.kif 64565-64565 |
| antecedent |
|
|
| (=> (and (instance ?BS BrakeShoe) (instance ?BD BrakeDrum) (instance ?R Rotating) (patient ?R ?BD) (instance ?F Friction) (resource ?F ?BS) (patient ?F ?BD)) (not (patient ?R ?BS))) |
Cars.kif 639-649 |
| consequent |
|
|
| (=> (instance ?B BrakeShoe) (hasPurpose ?B (exists (?F ?BD) (and (instance ?F Friction) (resource ?F ?B) (instance ?BD BrakeDrum) (patient ?F ?BD))))) |
Cars.kif 629-637 |
|
|
|