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 11096-11097 | |
(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 11094-11094 | 動作 は motion の subclass では %n |
appearance as argument number 2 |
(subclass Ambulating BodyMotion) | Merge.kif 11138-11138 | Ambulating は 動作 の subclass では %n |
(subclass Blinking BodyMotion) | Medicine.kif 447-447 | Blinking は 動作 の subclass では %n |
(subclass Chewing BodyMotion) | Mid-level-ontology.kif 11551-11551 | Chewing は 動作 の subclass では %n |
(subclass Crawling BodyMotion) | Mid-level-ontology.kif 4381-4381 | Crawling は 動作 の subclass では %n |
(subclass Dancing BodyMotion) | Merge.kif 11183-11183 | 踊り は 動作 の subclass では %n |
(subclass Dismounting BodyMotion) | Mid-level-ontology.kif 19999-19999 | Dismounting は 動作 の subclass では %n |
(subclass Dodging BodyMotion) | Mid-level-ontology.kif 445-445 | Dodging は 動作 の subclass では %n |
(subclass Ducking BodyMotion) | Mid-level-ontology.kif 13119-13119 | Ducking は 動作 の subclass では %n |
(subclass EmotionalBodilyMovementBehavior BodyMotion) | emotion.kif 1358-1358 | EmotionalBodilyMovementBehavior は 動作 の subclass では %n |
(subclass Extension BodyMotion) | Mid-level-ontology.kif 10619-10619 | Extension は 動作 の subclass では %n |
(subclass EyeMotion BodyMotion) | Mid-level-ontology.kif 19939-19939 | EyeMotion は 動作 の subclass では %n |
(subclass Flexion BodyMotion) | Mid-level-ontology.kif 10595-10595 | Flexion は 動作 の subclass では %n |
(subclass Gesture BodyMotion) | Merge.kif 13092-13092 | Gesture は 動作 の subclass では %n |
(subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10714-10714 | HeartBeat は 動作 の subclass では %n |
(subclass Inclining BodyMotion) | Mid-level-ontology.kif 13095-13095 | Inclining は 動作 の subclass では %n |
(subclass Indicating BodyMotion) | Mid-level-ontology.kif 1017-1017 | Indicating は 動作 の subclass では %n |
(subclass Jumping BodyMotion) | Mid-level-ontology.kif 543-543 | Jumping は 動作 の subclass では %n |
(subclass KneelingDown BodyMotion) | Mid-level-ontology.kif 19885-19885 | KneelingDown は 動作 の subclass では %n |
(subclass LyingDown BodyMotion) | Mid-level-ontology.kif 19860-19860 | LyingDown は 動作 の subclass では %n |
(subclass Mounting BodyMotion) | Mid-level-ontology.kif 465-465 | Mounting は 動作 の subclass では %n |
(subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10550-10550 | MuscleRelaxing は 動作 の subclass では %n |
(subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10528-10528 | MuscularContraction は 動作 の subclass では %n |
(subclass Scratching BodyMotion) | Mid-level-ontology.kif 5714-5714 | Scratching は 動作 の subclass では %n |
(subclass Shrugging BodyMotion) | Mid-level-ontology.kif 19969-19969 | Shrugging は 動作 の subclass では %n |
(subclass SittingDown BodyMotion) | Mid-level-ontology.kif 19905-19905 | SittingDown は 動作 の subclass では %n |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
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 30242-30253 |
|
(=> (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 10577-10593 |
|
(=> (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 6330-6344 | |
(=> (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 6307-6318 | |
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18047-18057 |
|
(=> (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 12163-12176 |
|