Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fulcrum |
| appearance as argument number 1 |
|
| (instance fulcrum CaseRole) | Mid-level-ontology.kif 1572-1572 | fulcrum is an instance of case role |
| (documentation fulcrum EnglishLanguage "fulcrum relates a Rotating with an Object on which a lever rests and turns. For example, (fulcrum ?R ?F) ?R is the Rotating Lever and ?F is the fulcrum that is used as pivot.") | Mid-level-ontology.kif 1574-1576 | fulcrum is an instance of case role |
| (domain fulcrum 1 Rotating) | Mid-level-ontology.kif 1577-1577 | The number 1 argument of fulcrum is an instance of rotating |
| (domain fulcrum 2 Object) | Mid-level-ontology.kif 1578-1578 | The number 2 argument of fulcrum is an instance of object |
| (relatedInternalConcept fulcrum lever) | Mid-level-ontology.kif 1580-1580 | fulcrum is internally related to lever |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage fulcrum "fulcrum") | Mid-level-ontology.kif 1573-1573 | |
| (format EnglishLanguage fulcrum "%2 is the fulcrum of %1") | Mid-level-ontology.kif 1579-1579 | |
| (format EnglishLanguage fulcrum "%2 is the lever of %1") | Mid-level-ontology.kif 1625-1625 |
| 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 |
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|