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 1319-1324 | |
(externalImage Lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca-ejemplo.jpg/ 800px-Palanca-ejemplo.jpg") | Mid-level-ontology.kif 1325-1325 | |
(subclass Lever Device) | Mid-level-ontology.kif 1317-1317 | Lever ist eine teilkategorie von Device |
appearance as argument number 2 |
(subclass GunTrigger Lever) | Mid-level-ontology.kif 1362-1362 | GunTrigger ist eine teilkategorie von Lever |
(termFormat EnglishLanguage Lever "lever") | Mid-level-ontology.kif 1318-1318 |
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 1332-1355 |
|
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L))) |
Mid-level-ontology.kif 1327-1330 |