| 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 1707-1712 | |
| (externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg") | Mid-level-ontology.kif 1713-1713 | |
| (subclass Lever Device) | Mid-level-ontology.kif 1705-1705 |
| appearance as argument number 2 |
|
|
| (subclass GunTrigger Lever) | Mid-level-ontology.kif 1747-1747 | |
| (termFormat EnglishLanguage Lever "lever") | Mid-level-ontology.kif 1706-1706 |
| 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 1720-1740 | |
| (=> (instance ?L Lever) (exists (?A) (axis ?A ?L))) |
Mid-level-ontology.kif 1715-1718 |
|
|
|