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 10387-10388
(externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg")	pictureList.kif 1053-1053
(subclass BodyMotion Motion)	Merge.kif 10385-10385	Body motion is a subclass of motion

appearance as argument number 2

(subclass Ambulating BodyMotion)	Merge.kif 10429-10429	Ambulating is a subclass of body motion
(subclass Chewing BodyMotion)	Mid-level-ontology.kif 9771-9771	Chewing is a subclass of body motion
(subclass Crawling BodyMotion)	Mid-level-ontology.kif 4855-4855	Crawling is a subclass of body motion
(subclass Dancing BodyMotion)	Merge.kif 10474-10474	Dancing is a subclass of body motion
(subclass Dismounting BodyMotion)	Mid-level-ontology.kif 17788-17788	Dismounting is a subclass of body motion
(subclass Dodging BodyMotion)	Mid-level-ontology.kif 603-603	Dodging is a subclass of body motion
(subclass Ducking BodyMotion)	Mid-level-ontology.kif 10754-10754	Ducking is a subclass of body motion
(subclass EmotionalBodilyMovementBehavior BodyMotion)	emotion.kif 1340-1340	Emotional bodily movement behavior is a subclass of body motion
(subclass EyeMotion BodyMotion)	Mid-level-ontology.kif 17728-17728	Eye motion is a subclass of body motion
(subclass Gesture BodyMotion)	Merge.kif 12162-12162	Gesture is a subclass of body motion
(subclass Inclining BodyMotion)	Mid-level-ontology.kif 10730-10730	Inclining is a subclass of body motion
(subclass Indicating BodyMotion)	Mid-level-ontology.kif 1404-1404	Indicating is a subclass of body motion
(subclass Jumping BodyMotion)	Mid-level-ontology.kif 720-720	Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion)	Mid-level-ontology.kif 17674-17674	KneelingDown is a subclass of body motion
(subclass LyingDown BodyMotion)	Mid-level-ontology.kif 17649-17649	Lying down is a subclass of body motion
(subclass Mounting BodyMotion)	Mid-level-ontology.kif 624-624	Mounting is a subclass of body motion
(subclass Shrugging BodyMotion)	Mid-level-ontology.kif 17758-17758	Shrugging is a subclass of body motion
(subclass SittingDown BodyMotion)	Mid-level-ontology.kif 17694-17694	Sitting down is a subclass of body motion
(subclass Somersaulting BodyMotion)	Mid-level-ontology.kif 734-734	Somersaulting is a subclass of body motion
(subclass StandingUp BodyMotion)	Mid-level-ontology.kif 17711-17711	Standing up is a subclass of body motion
(subclass Stepping BodyMotion)	Mid-level-ontology.kif 641-641	Stepping is a subclass of body motion
(subclass Swimming BodyMotion)	Merge.kif 10459-10459	Swimming is a subclass of body motion
(subclass Throwing BodyMotion)	Mid-level-ontology.kif 14660-14660	Throwing is a subclass of body motion
(subclass Trembling BodyMotion)	Mid-level-ontology.kif 17769-17769	Trembling is a subclass of body motion
(termFormat ChineseLanguage BodyMotion "身体运动")	chinese_format.kif 1114-1114

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 10401-10407	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
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT))))	Merge.kif 10410-10415	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 (instance ?A Agent) (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 28431-28442	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 ?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 1184-1194	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 ?SS StayingStill) (experiencer ?SS ?A)) (not (exists (?B ?T) (and (instance ?B BodyMotion) (instance ?T Translocation) (causes ?B ?T) (agent ?B ?A)))))	emotion.kif 1498-1508	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 Paralysis) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE)))))))	WMD.kif 1028-1038	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 16769-16779	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 10086-10099	If a physical is an instance of eyelid, then the physical 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: