| 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 11130-11131 | |
| (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 11128-11128 |
| appearance as argument number 2 |
|
|
| (subclass Ambulating BodyMotion) | Merge.kif 11172-11172 | |
| (subclass Blinking BodyMotion) | Medicine.kif 447-447 | |
| (subclass Chewing BodyMotion) | Mid-level-ontology.kif 11769-11769 | |
| (subclass Crawling BodyMotion) | Mid-level-ontology.kif 4374-4374 | |
| (subclass Dancing BodyMotion) | Merge.kif 11217-11217 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 20257-20257 | |
| (subclass Dodging BodyMotion) | Mid-level-ontology.kif 438-438 | |
| (subclass Ducking BodyMotion) | Mid-level-ontology.kif 13337-13337 | |
| (subclass EmotionalBodilyMovementBehavior BodyMotion) | emotion.kif 1358-1358 | |
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 10837-10837 | |
| (subclass EyeMotion BodyMotion) | Mid-level-ontology.kif 20197-20197 | |
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 10813-10813 | |
| (subclass Gesture BodyMotion) | Merge.kif 13138-13138 | |
| (subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10932-10932 | |
| (subclass Inclining BodyMotion) | Mid-level-ontology.kif 13313-13313 | |
| (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 20143-20143 | |
| (subclass LyingDown BodyMotion) | Mid-level-ontology.kif 20118-20118 | |
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 458-458 | |
| (subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10768-10768 | |
| (subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10746-10746 | |
| (subclass Scratching BodyMotion) | Mid-level-ontology.kif 5708-5708 | |
| (subclass Shrugging BodyMotion) | Mid-level-ontology.kif 20227-20227 | |
| (subclass SittingDown BodyMotion) | Mid-level-ontology.kif 20163-20163 | |
| 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 10795-10811 | |
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 10622-10628 | |
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 11144-11150 | |
| (=> (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 8461-8475 | |
| (=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT)))) |
Merge.kif 11153-11158 |
| 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 30499-30510 | |
| (=> (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 10795-10811 | |
| (=> (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 6324-6338 | |
| (=> (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 6301-6312 | |
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18126-18136 | |
| (=> (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 12381-12394 |
|
|
|