Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutomobileShock
AutomobileShock(shock)

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 832-834
(subclass AutomobileShock Damper) Cars.kif 829-829 Shock is a subclass of damper
(typicalPart AutomobileShock AutoSuspensionSystem) Cars.kif 831-831 A shock is typically a part of a auto suspension system
(typicalPart AutomobileShock Automobile) Cars.kif 859-859 A shock is typically a part of a automobile
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 860-860 A automobile typically has a part shock

appearance as argument number 2
-------------------------


(subclass MacPhersonStrut AutomobileShock) Cars.kif 3223-3223 MacPherson strut is a subclass of shock
(termFormat EnglishLanguage AutomobileShock "shock") Cars.kif 830-830

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 844-857
(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (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 862-876
(=>
    (instance ?A AutomobileShock)
    (hasPurpose ?A
        (exists (?C)
            (and
                (instance ?C Automobile)
                (part ?A ?C)))))
Cars.kif 836-842


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners