BodyMotion - Sigma Knowledge base Browser

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 11231-11232
(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 11229-11229	Body motion is a subclass of motion

appearance as argument number 2

(subclass Abducting BodyMotion)	Anatomy.kif 2045-2045	Abducting is a subclass of body motion
(subclass Adducting BodyMotion)	Anatomy.kif 2069-2069	Adducting is a subclass of body motion
(subclass Ambulating BodyMotion)	Merge.kif 11273-11273	Ambulating is a subclass of body motion
(subclass Blinking BodyMotion)	Medicine.kif 436-436	Blinking is a subclass of body motion
(subclass Chewing BodyMotion)	Mid-level-ontology.kif 12876-12876	Chewing is a subclass of body motion
(subclass Crawling BodyMotion)	Mid-level-ontology.kif 4824-4824	Crawling is a subclass of body motion
(subclass Dancing BodyMotion)	Merge.kif 11318-11318	Dancing is a subclass of body motion
(subclass Dismounting BodyMotion)	Mid-level-ontology.kif 21574-21574	Dismounting is a subclass of body motion
(subclass Dodging BodyMotion)	Mid-level-ontology.kif 438-438	Dodging is a subclass of body motion
(subclass Ducking BodyMotion)	Mid-level-ontology.kif 14441-14441	Ducking is a subclass of body motion
(subclass EmotionalBodilyMovementBehavior BodyMotion)	emotion.kif 1358-1358	Emotional bodily movement behavior is a subclass of body motion
(subclass Extension BodyMotion)	Mid-level-ontology.kif 11944-11944	Extension is a subclass of body motion
(subclass EyeMotion BodyMotion)	Mid-level-ontology.kif 21514-21514	Eye motion is a subclass of body motion
(subclass Flexion BodyMotion)	Mid-level-ontology.kif 11920-11920	Flexion is a subclass of body motion
(subclass Gesture BodyMotion)	Merge.kif 13243-13243	Gesture is a subclass of body motion
(subclass HeartBeat BodyMotion)	Mid-level-ontology.kif 12039-12039	Heart beat is a subclass of body motion
(subclass Inclining BodyMotion)	Mid-level-ontology.kif 14417-14417	Inclining is a subclass of body motion
(subclass Indicating BodyMotion)	Mid-level-ontology.kif 1010-1010	Indicating is a subclass of body motion
(subclass Jumping BodyMotion)	Mid-level-ontology.kif 536-536	Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion)	Mid-level-ontology.kif 21460-21460	Kneeling down is a subclass of body motion
(subclass LyingDown BodyMotion)	Mid-level-ontology.kif 21435-21435	Lying down is a subclass of body motion
(subclass Mounting BodyMotion)	Mid-level-ontology.kif 458-458	Mounting is a subclass of body motion
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 11875-11875	Muscle relaxing is a subclass of body motion
(subclass MuscularContraction BodyMotion)	Mid-level-ontology.kif 11853-11853	Muscular contraction is a subclass of body motion
(subclass Scratching BodyMotion)	Mid-level-ontology.kif 6647-6647	Scratching is a subclass of body motion

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 11902-11918	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 11729-11735	If an object is an instance of muscle and a process is an instance of body motion and the object is an instrument for the process and the process is an instance of intentional process, then the object is an instance of voluntary muscle
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 11245-11251	If a motion is an instance of body motion and an object moves during the motion, then the object is an instance of body part and the object is a patient of the motion
(=> (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 9405-9419	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT))))	Merge.kif 11254-11259	If a process is an instance of body motion, then there exists an agent such that the agent is an instance of organism and the agent is an agent of the process

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 6489-6501	If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process, then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
(=> (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 32143-32154	If an agent is an instance of agent and motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
(=> (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 11902-11918	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
(=> (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	If a process is an instance of pressing lips together and an agent is an agent of the process, then there exist an object and another process such that the object is an instance of lip and the object is a part of the agent and the other process is an instance of body motion and the object is a patient of the other process and the agent is an agent of the other process
(=> (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 a process is an instance of speaking and an object is an instance of jaw and an agent is an agent of the process and the object is a part of the agent, then the statement there exists an entity such that the entity is an instance of body motion and the object transferred in the entity is the object and the time of existence of the entity takes place during the time of existence of the process has the modal force of likely
(=> (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	If a process is an instance of staying still and an agent experiences the process, then there don't exist another process and a third process such that the other process is an instance of body motion and the third process is an instance of translocation and the other process causes the third process and the agent is an agent of the other process
(=> (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 7263-7277	If an entity is an instance of paralysis of the the entityART is an attribute of an agent, then there exists another object such that the other object is an instance of muscle and the other object is a part of the entityART and the entityART is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the other object is a patient of the process
(=> (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 7240-7251	If paralysis is an attribute of an agent, then there exists an object such that the object is an instance of muscle and the object is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the object is a patient of the process
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR)))))	Merge.kif 18230-18240	If an agent is an instance of animal, then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent
(=> (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 13488-13501	If a physical is an instance of eyelid, then the physical has the purpose there exist the physicalYE, another entity and a third entity such that the third entity is an instance of covering and the third entity is an instance of body motion and the other entity is an instance of human and the other entity experiences the third entity and the physical is an instrument for the third entity and the physicalYE is a patient of the third entity and the physicalYE is an instance of eye and the physicalYE is a part of the other entity and the physical is a part of the other entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: