Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Adducting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Adducting EnglishLanguage "Pull a limb towards the body.") | Anatomy.kif 2056-2056 | |
| (subclass Adducting BodyMotion) | Anatomy.kif 2058-2058 | Adducting is a subclass of body motion |
| (subclass Adducting MovingTowards) | Anatomy.kif 2059-2059 | Adducting is a subclass of moving towards |
| (relatedInternalConcept Adducting Abducting) | Anatomy.kif 2079-2079 | Adducting is internally related to abducting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Adducting "adducting") | Anatomy.kif 2057-2057 |
| antecedent |
|
|
| (=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2061-2077 | If X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X |
|