| BodyMotion(body motion)
| | V_sign, abseil, acrobatic_feat, acrobatic_stunt, act, act_involuntarily, act_reflexively, agape, agaze, akimbo, alight, anadromous, askance, askant, asquint, assume, astraddle, astride, back_circle, backbend, backhand, backhanded, bate, be_active, bear_down, beat, beck, bed, behave, behavior, behaviour, belly_flop, belly_flopper, belly_whop, belly_whopper, bend, bend_over_backwards, betake_oneself, blinking, blow, blunder, bob, body_English, boggle, bolt, bow, bow_down, bowing, brachiate, brandish... |
| appearance as argument number 1 |
|
|
| (subclass BodyMotion Motion) | Merge.kif 11252-11252 | Body motion is a subclass of motion |
| (documentation BodyMotion EnglishLanguage "Any Motion where the agent is an Organism and the patient is a BodyPart.") | Merge.kif 11254-11255 | Body motion is a subclass of motion |
| (externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px_Dominik_Klein_jump.jpg") | pictureList.kif 1052-1052 | Body motion is a subclass of motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?S Speaking) (instance ?J Jaw) (agent ?S ?H) (part ?J ?H)) (modalAttribute (exists (?M) (and (instance ?M BodyMotion) (objectTransferred ?M ?J) (during (WhenFn ?M) (WhenFn ?S)))) Likely)) |
Anatomy.kif 1697-1709 | If X is an instance of speaking, Y is an instance of jaw, Z is an agent of X, and Y is a part of Z, then the statement there exists W such that W is an instance of body motion, the object transferred in W is Y, and the time of existence of W takes place during the time of existence of X has the modal force of likely |
| (=> (and (holdsDuring ?T (attribute ?H AVPUPainStatus)) (instance ?P Pain) (during (WhenFn ?P) ?T) (experiencer ?P ?H)) (exists (?BM) (and (instance ?BM BodyMotion) (experiencer ?BM ?H) (during (WhenFn ?BM) ?T) (causes ?P ?BM)))) |
Medicine.kif 6464-6476 | If AVPU pain status is an attribute of X holds during Y, Z is an instance of pain, the time of existence of Z takes place during Y, and X experiences Z, then there exists W such that W is an instance of body motion, X experiences W, the time of existence of W takes place during Y, and Z causes W |
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18253-18263 | If X is an instance of animal, then there exists Y such that Y is an instance of body motion and X is an agent of Y or there exists Z such that Z is an instance of body position and Z is an attribute of X |
| (=> (attribute ?ORGANISM Paralysis) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE))))))) |
Mid-level-ontology.kif 7263-7274 | If paralysis is an attribute of X, then there exists Y such that Y is an instance of muscle, Y is a part of X, there doesn't exist Z such that Z is an instance of body motion, X is an agent of Z, and Y is a patient of Z |
| (=> (attribute ?ORGANISM (ParalysisFn ?PART)) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?PART) (part ?PART ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE))))))) |
Mid-level-ontology.kif 7286-7299 | If paralysis of the X is an attribute of Y, then there exists Z such that Z is an instance of muscle, Z is a part of X, X is a part of Y, there doesn't exist W such that W is an instance of body motion, Y is an agent of W, and Z is a patient of W |
| (=> (and (instance ?BS1 BodySegment) (instance ?BS2 BodySegment) (connected ?BS1 ?BS2) (instance ?BM BodyMotion) (moves ?BM ?BS1)) (modalAttribute (not (exists (?BM2) (and (instance ?BM2 BodyMotion) (moves ?BM2 ?BS2) (during (WhenFn ?BM2) (WhenFn ?BM))))) Possibility)) |
Mid-level-ontology.kif 11947-11963 | If X is an instance of body segment, Y is an instance of body segment, X is connected to Y, Z is an instance of body motion, and X moves during Z, then the statement there doesn't exist W such that W is an instance of body motion, Y moves during W, and the time of existence of W takes place during the time of existence of Z has the modal force of possibility |
| (=> (instance ?E Eyelid) (hasPurpose ?E (exists (?EYE ?P ?C) (and (instance ?C Covering) (instance ?C BodyMotion) (instance ?P Human) (experiencer ?C ?P) (instrument ?C ?E) (patient ?C ?EYE) (instance ?EYE Eye) (part ?EYE ?P) (part ?E ?P))))) |
Mid-level-ontology.kif 13529-13542 | If X is an instance of eyelid, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of covering (3) W is an instance of body motion (4) Z is an instance of human (5) Z experiences W (6) X is an instrument for W (7) Y is a patient of W (8) Y is an instance of eye (9) Y is a part of Z (10) X is a part of Z |
| (=> (and (instance ?A AutonomousAgent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 32906-32917 | If X is an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of body motion, Z is an instance of intentional process, X is an agent of Z, and the time of existence of Z takes place during Y |
| (=> (and (instance ?PLT PressingLipsTogether) (agent ?PLT ?A)) (exists (?L ?BM) (and (instance ?L Lip) (part ?L ?A) (instance ?BM BodyMotion) (patient ?BM ?L) (agent ?BM ?A)))) |
emotion.kif 1860-1870 | If X is an instance of pressing lips together and Y is an agent of X, then there exist Z, W such that Z is an instance of lip, Z is a part of Y, W is an instance of body motion, Z is a patient of W, and Y is an agent of W |
| (=> (and (instance ?SS StayingStill) (experiencer ?SS ?A)) (not (exists (?B ?T) (and (instance ?B BodyMotion) (instance ?T Translocation) (causes ?B ?T) (agent ?B ?A))))) |
emotion.kif 2179-2189 | If X is an instance of staying still and Y experiences X, then there don't exist Z, W such that Z is an instance of body motion, W is an instance of translocation, Z causes W, and Y is an agent of Z |
|
|
|