Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lever |
| appearance as argument number 1 |
|
| (instance lever CaseRole) | Mid-level-ontology.kif 1616-1616 | lever is an instance of case role |
| (documentation lever EnglishLanguage "(lever ?R ?O) is a CaseRole specifically applied to the %Motion of Rotating. 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. It has a mechanicaladvantage at the point of output compared to the point of input of force.") | Mid-level-ontology.kif 1618-1622 | lever is an instance of case role |
| (domain lever 1 Rotating) | Mid-level-ontology.kif 1623-1623 | The number 1 argument of lever is an instance of rotating |
| (domain lever 2 Object) | Mid-level-ontology.kif 1624-1624 | The number 2 argument of lever is an instance of object |
| (externalImage lever "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f2/ Palanca_ejemplo.jpg/ 800px_Palanca_ejemplo.jpg") | Mid-level-ontology.kif 1626-1626 | The number 2 argument of lever is an instance of object |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept fulcrum lever) | Mid-level-ontology.kif 1580-1580 | fulcrum is internally related to lever |
| (termFormat EnglishLanguage lever "lever") | Mid-level-ontology.kif 1617-1617 | fulcrum is internally related to lever |
| antecedent |
|
|
| (=> (and (instance ?R Rotating) (fulcrum ?R ?F) (lever ?R ?L) (rotationalAxis ?R ?X)) (holdsDuring (WhenFn ?R) (exists (?P) (and (instance ?P PointInSpace) (part ?P ?X) (meetsSpatially ?P ?F) (meetsSpatially ?P ?L))))) |
Mid-level-ontology.kif 1582-1594 | If X is an instance of rotating, Y is the lever of X, lever X and Z, and W is the axis of X, then there exists V such that V is an instance of point in space, V is a part of W, V meets Y, and V meets Z holds during the time of existence of X |
| (=> (lever ?R ?L) (exists (?F) (and (fulcrum ?R ?F) (holdsDuring (WhenFn ?R) (meetsSpatially ?L ?F))))) |
Mid-level-ontology.kif 1604-1610 | If lever X and Y, then there exists Z such that Z is the lever of X and Y meets Z holds during the time of existence of X |
| consequent |
|
|
| (=> (fulcrum ?R ?F) (exists (?L) (and (lever ?R ?L) (holdsDuring (WhenFn ?R) (meetsSpatially ?L ?F))))) |
Mid-level-ontology.kif 1596-1602 | If X is the lever of Y, then there exists Z such that lever Y, Z, and Z meets X holds during the time of existence of Y |
|