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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lever
Lever(lever)
compound_lever, crowbar, foot_lever, foot_pedal, hand_throttle, lever, pedal, pinch_bar, pry, pry_bar, ripping_bar, spark_lever, tappet, tire_iron, tire_tool, treadle, wrecking_bar

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


(documentation Lever EnglishLanguage "Anything which is actually used as a lever, since many things can be used as such, regardless of the intent during their Manufacture. A lever necessarily has a Fulcrum around which the lever exhibits Rotating. A lever has a mechanical advantage at the point of output compared to the point of input of force.") Mid-level-ontology.kif 1312-1317
(externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg") Mid-level-ontology.kif 1318-1318
(subclass Lever Device) Mid-level-ontology.kif 1310-1310 Lever is a subclass of device

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


(subclass GunTrigger Lever) Mid-level-ontology.kif 1355-1355 Gun trigger is a subclass of lever
(termFormat EnglishLanguage Lever "lever") Mid-level-ontology.kif 1311-1311

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


(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (instance ?U UnitOfLength)
        (destination ?P ?E1)
        (physicalEnd ?E1 ?L)
        (physicalEnd ?E2 ?L)
        (not
            (equal ?E1 ?E2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E1 ?P1))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E1 ?P2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E2 ?P3))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E2 ?P4))
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (distance ?P3 ?P4
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))
Mid-level-ontology.kif 1325-1348
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1320-1323


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