Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Abducting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Abducting EnglishLanguage "Pull a body part away from the body.") | Anatomy.kif 2032-2032 | |
| (subclass Abducting BodyMotion) | Anatomy.kif 2034-2034 | Abducting is a subclass of body motion |
| (subclass Abducting MovingAwayFrom) | Anatomy.kif 2035-2035 | Abducting is a subclass of moving away from |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Abducting "abducting") | Anatomy.kif 2033-2033 | |
| (relatedInternalConcept Adducting Abducting) | Anatomy.kif 2079-2079 | Adducting is internally related to abducting |
| antecedent |
|
|
| (=> (instance ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2037-2052 | If X is an instance of abducting, 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 a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X |
|