| 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 11234-11235 | |
| (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 11232-11232 |
| appearance as argument number 2 |
|
|
| (subclass Abducting BodyMotion) | Anatomy.kif 2046-2046 | |
| (subclass Adducting BodyMotion) | Anatomy.kif 2070-2070 | |
| (subclass Ambulating BodyMotion) | Merge.kif 11276-11276 | |
| (subclass Blinking BodyMotion) | Medicine.kif 436-436 | |
| (subclass Chewing BodyMotion) | Mid-level-ontology.kif 12882-12882 | |
| (subclass Crawling BodyMotion) | Mid-level-ontology.kif 4824-4824 | |
| (subclass Dancing BodyMotion) | Merge.kif 11321-11321 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 21586-21586 | |
| (subclass Dodging BodyMotion) | Mid-level-ontology.kif 438-438 | |
| (subclass Ducking BodyMotion) | Mid-level-ontology.kif 14450-14450 | |
| (subclass EmotionalBodilyMovementBehavior BodyMotion) | emotion.kif 1358-1358 | |
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 11950-11950 | |
| (subclass EyeMotion BodyMotion) | Mid-level-ontology.kif 21526-21526 | |
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 11926-11926 | |
| (subclass Gesture BodyMotion) | Merge.kif 13246-13246 | |
| (subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 12045-12045 | |
| (subclass Inclining BodyMotion) | Mid-level-ontology.kif 14426-14426 | |
| (subclass Indicating BodyMotion) | Mid-level-ontology.kif 1010-1010 | |
| (subclass Jumping BodyMotion) | Mid-level-ontology.kif 536-536 | |
| (subclass KneelingDown BodyMotion) | Mid-level-ontology.kif 21472-21472 | |
| (subclass LyingDown BodyMotion) | Mid-level-ontology.kif 21447-21447 | |
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 458-458 | |
| (subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 11881-11881 | |
| (subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 11859-11859 | |
| (subclass Scratching BodyMotion) | Mid-level-ontology.kif 6651-6651 | |
| 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 11908-11924 | |
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 11735-11741 | |
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 11248-11254 | |
| (=> (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 9410-9424 | |
| (=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT)))) |
Merge.kif 11257-11262 |
| 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 6488-6500 | |
| (=> (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 32160-32171 | |
| (=> (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 11908-11924 | |
| (=> (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 1699-1711 | |
| (=> (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 7267-7281 | |
| (=> (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 7244-7255 | |
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18233-18243 | |
| (=> (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 13494-13507 |
|
|
|