| BodyMotion
| |
| appearance as argument number 1 |
|
|
| (documentation BodyMotion ChineseLanguage "这是当 agent 一个 Organism，而 patient 是一个 BodyPart 的 Motion。") | chinese_format.kif 3002-3003 | |
| (documentation BodyMotion EnglishLanguage "Any Motion where the agent is an Organism and the patient is a BodyPart.") | Merge.kif 11118-11119 | |
| (documentation BodyMotion JapaneseLanguage "agent が Organism で patient が BodyPart である任意の Motion。") | japanese_format.kif 1765-1766 | |
| (externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg") | pictureList.kif 1052-1052 | |
| (subclass BodyMotion Motion) | Merge.kif 11116-11116 |
| appearance as argument number 2 |
|
|
| (subclass Ambulating BodyMotion) | Merge.kif 11160-11160 | |
| (subclass Blinking BodyMotion) | Medicine.kif 447-447 | |
| (subclass Chewing BodyMotion) | Mid-level-ontology.kif 11550-11550 | |
| (subclass Crawling BodyMotion) | Mid-level-ontology.kif 4381-4381 | |
| (subclass Dancing BodyMotion) | Merge.kif 11205-11205 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 19998-19998 | |
| (subclass Dodging BodyMotion) | Mid-level-ontology.kif 445-445 | |
| (subclass Ducking BodyMotion) | Mid-level-ontology.kif 13118-13118 | |
| (subclass EmotionalBodilyMovementBehavior BodyMotion) | emotion.kif 1358-1358 | |
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 10618-10618 | |
| (subclass EyeMotion BodyMotion) | Mid-level-ontology.kif 19938-19938 | |
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 10594-10594 | |
| (subclass Gesture BodyMotion) | Merge.kif 13114-13114 | |
| (subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10713-10713 | |
| (subclass Inclining BodyMotion) | Mid-level-ontology.kif 13094-13094 | |
| (subclass Indicating BodyMotion) | Mid-level-ontology.kif 1017-1017 | |
| (subclass Jumping BodyMotion) | Mid-level-ontology.kif 543-543 | |
| (subclass KneelingDown BodyMotion) | Mid-level-ontology.kif 19884-19884 | |
| (subclass LyingDown BodyMotion) | Mid-level-ontology.kif 19859-19859 | |
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 465-465 | |
| (subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10549-10549 | |
| (subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10527-10527 | |
| (subclass Scratching BodyMotion) | Mid-level-ontology.kif 5713-5713 | |
| (subclass Shrugging BodyMotion) | Mid-level-ontology.kif 19968-19968 | |
| (subclass SittingDown BodyMotion) | Mid-level-ontology.kif 19904-19904 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (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 10576-10592 | |
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 10403-10409 | |
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 11132-11138 | |
| (=> (and (instance ?R RecreationOrExercise) (instrument ?R ?RM) (instance ?RM RowingMachine) (experiencer ?R ?H) (instance ?ROW Rowing) (subProcess ?RMOT ?R) (subclass ?C BodyMotion) (instance ?RMOT ?C)) (exists (?ROWMOT) (and (instance ?ROWMOT ?C) (subProcess ?ROWMOT ?R) (agent ?ROWMOT ?H)))) |
Mid-level-ontology.kif 8242-8256 | |
| (=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT)))) |
Merge.kif 11141-11146 |
| consequent |
|
|
| (=> (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 6470-6482 | |
| (=> (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 30230-30241 | |
| (=> (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 10576-10592 | |
| (=> (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 1202-1212 | |
| (=> (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 1664-1676 | |
| (=> (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 1523-1533 | |
| (=> (attribute ?ORGANISM (instance ?P (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 6329-6343 | |
| (=> (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 6306-6317 | |
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18069-18079 | |
| (=> (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 12162-12175 |
|
|
|