AutomobileShock
|
|
appearance as argument number 1 |
(documentation AutomobileShock EnglishLanguage "A Damper that is part of a modern RoadVehicle's AutoSuspensionSystem. It may include various kinds of fluids that have the effect of being a Damper on Motion.") | Cars.kif 841-843 | |
(subclass AutomobileShock Damper) | Cars.kif 838-838 | |
(typicalPart AutomobileShock AutoSuspensionSystem) | Cars.kif 840-840 | |
(typicalPart AutomobileShock Automobile) | Cars.kif 868-868 | |
(typicallyContainsPart AutomobileShock Automobile) | Cars.kif 869-869 |
appearance as argument number 2 |
(subclass MacPhersonStrut AutomobileShock) | Cars.kif 3233-3233 | |
(termFormat EnglishLanguage AutomobileShock "shock") | Cars.kif 839-839 |
antecedent |
(=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1)) |
Cars.kif 853-866 | |
(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 871-885 | |
(=> (instance ?A AutomobileShock) (hasPurpose ?A (exists (?C) (and (instance ?C Automobile) (part ?A ?C))))) |
Cars.kif 845-851 |