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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lever

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 1706-1711
(externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg") Mid-level-ontology.kif 1712-1712 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg" is a URL depicting lever
(subclass Lever Device) Mid-level-ontology.kif 1704-1704 Lever is a subclass of device

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


(subclass GunTrigger Lever) Mid-level-ontology.kif 1746-1746 Gun trigger is a subclass of lever
(termFormat EnglishLanguage Lever "lever") Mid-level-ontology.kif 1705-1705 "lever" is the printable form of lever in english language

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


(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (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 ?D1)
        (distance ?P3 ?P4 ?D2))
    (greaterThan ?D2 ?D1))
Mid-level-ontology.kif 1719-1739
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1714-1717


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

Show without tree


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