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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clutch
Clutch(clutch)clutch, friction_clutch

appearance as argument number 1
-------------------------


(documentation Clutch EnglishLanguage "A Device used to engage and disengage moving parts. It consists of a friction plate and a spring-loaded mechanism that engages the plate with varying force as the clutch is released. In an Automobile it ultimately connects the Engine with the Gearbox. For the purposes of this definition, we consider the DeviceOn state of the clutch to mean that it is not engaged with the clutch plate.") Cars.kif 1806-1811
(subclass Clutch Device) Cars.kif 1804-1804 Clutch is a subclass of device

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


(termFormat EnglishLanguage Clutch "clutch") Cars.kif 1805-1805

antecedent
-------------------------


(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOff))
    (exists (?M2)
        (and
            (instance ?M2 Motion)
            (patient ?M2 ?G)
            (causes ?M ?M2))))
Cars.kif 1834-1852
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOn))
    (not
        (exists (?M2)
            (and
                (instance ?M2 Motion)
                (patient ?M2 ?G)
                (causes ?M ?M2)))))
Cars.kif 1813-1832


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners