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 1536-1541 | |
(externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca_ejemplo.jpg/ 800px_Palanca_ejemplo.jpg") | Mid-level-ontology.kif 1542-1542 | |
(subclass Lever Device) | Mid-level-ontology.kif 1534-1534 |
appearance as argument number 2 |
![]() |
(subclass GunTrigger Lever) | Mid-level-ontology.kif 1579-1579 | |
(termFormat EnglishLanguage Lever "lever") | Mid-level-ontology.kif 1535-1535 |
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 1549-1572 | |
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L))) |
Mid-level-ontology.kif 1544-1547 |
![]() |
![]() |