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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lever
Lever

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 1276-1281
(externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg") Mid-level-ontology.kif 1282-1282
(subclass Lever Device) Mid-level-ontology.kif 1274-1274

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


(subclass GunTrigger Lever) Mid-level-ontology.kif 1319-1319
(termFormat EnglishLanguage Lever "lever") Mid-level-ontology.kif 1275-1275

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 1289-1312
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1284-1287


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