| 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 1286-1291 | |
| (externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg") | Mid-level-ontology.kif 1292-1292 | |
| (subclass Lever Device) | Mid-level-ontology.kif 1284-1284 |
| appearance as argument number 2 |
|
|
| (subclass GunTrigger Lever) | Mid-level-ontology.kif 1329-1329 | |
| (termFormat EnglishLanguage Lever "lever") | Mid-level-ontology.kif 1285-1285 |
| 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 1299-1322 | |
| (=> (instance ?L Lever) (exists (?A) (axis ?A ?L))) |
Mid-level-ontology.kif 1294-1297 |
|
|
|