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 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	BodyMotion ist eine teilkategorie von Motion

appearance as argument number 2

(subclass Ambulating BodyMotion)	Merge.kif 11138-11138	Ambulating ist eine teilkategorie von BodyMotion
(subclass Blinking BodyMotion)	Medicine.kif 447-447	Blinking ist eine teilkategorie von BodyMotion
(subclass Chewing BodyMotion)	Mid-level-ontology.kif 11551-11551	Chewing ist eine teilkategorie von BodyMotion
(subclass Crawling BodyMotion)	Mid-level-ontology.kif 4381-4381	Crawling ist eine teilkategorie von BodyMotion
(subclass Dancing BodyMotion)	Merge.kif 11183-11183	Dancing ist eine teilkategorie von BodyMotion
(subclass Dismounting BodyMotion)	Mid-level-ontology.kif 19999-19999	Dismounting ist eine teilkategorie von BodyMotion
(subclass Dodging BodyMotion)	Mid-level-ontology.kif 445-445	Dodging ist eine teilkategorie von BodyMotion
(subclass Ducking BodyMotion)	Mid-level-ontology.kif 13119-13119	Ducking ist eine teilkategorie von BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion)	emotion.kif 1358-1358	EmotionalBodilyMovementBehavior ist eine teilkategorie von BodyMotion
(subclass Extension BodyMotion)	Mid-level-ontology.kif 10619-10619	Extension ist eine teilkategorie von BodyMotion
(subclass EyeMotion BodyMotion)	Mid-level-ontology.kif 19939-19939	EyeMotion ist eine teilkategorie von BodyMotion
(subclass Flexion BodyMotion)	Mid-level-ontology.kif 10595-10595	Flexion ist eine teilkategorie von BodyMotion
(subclass Gesture BodyMotion)	Merge.kif 13092-13092	Gesture ist eine teilkategorie von BodyMotion
(subclass HeartBeat BodyMotion)	Mid-level-ontology.kif 10714-10714	HeartBeat ist eine teilkategorie von BodyMotion
(subclass Inclining BodyMotion)	Mid-level-ontology.kif 13095-13095	Inclining ist eine teilkategorie von BodyMotion
(subclass Indicating BodyMotion)	Mid-level-ontology.kif 1017-1017	Indicating ist eine teilkategorie von BodyMotion
(subclass Jumping BodyMotion)	Mid-level-ontology.kif 543-543	Jumping ist eine teilkategorie von BodyMotion
(subclass KneelingDown BodyMotion)	Mid-level-ontology.kif 19885-19885	KneelingDown ist eine teilkategorie von BodyMotion
(subclass LyingDown BodyMotion)	Mid-level-ontology.kif 19860-19860	LyingDown ist eine teilkategorie von BodyMotion
(subclass Mounting BodyMotion)	Mid-level-ontology.kif 465-465	Mounting ist eine teilkategorie von BodyMotion
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 10550-10550	MuscleRelaxing ist eine teilkategorie von BodyMotion
(subclass MuscularContraction BodyMotion)	Mid-level-ontology.kif 10528-10528	MuscularContraction ist eine teilkategorie von BodyMotion
(subclass Scratching BodyMotion)	Mid-level-ontology.kif 5714-5714	Scratching ist eine teilkategorie von BodyMotion
(subclass Shrugging BodyMotion)	Mid-level-ontology.kif 19969-19969	Shrugging ist eine teilkategorie von BodyMotion
(subclass SittingDown BodyMotion)	Mid-level-ontology.kif 19905-19905	SittingDown ist eine teilkategorie von BodyMotion

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 10577-10593	Wenn Object ist ein fall von BodySegment %n{nicht} und Object ist ein fall von BodySegment %n{nicht} und Object wird an Object angeschlossen und Motion ist ein fall von BodyMotion %n{nicht} und moves Motion and Object, dann die Aussage es gibt nicht Motion2 um Motion2 ist ein fall von BodyMotion %n{nicht} und moves Motion2 and Object und die zeit des Bestehens von Motion2 geschieht waehrend die zeit des Bestehens von ** Motion %n{nicht} hat die modale Kraft von Possibility
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 10404-10410	Wenn Object ist ein fall von Muscle %n{nicht} und Process ist ein fall von BodyMotion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht}, dann Object ist ein fall von VoluntaryMuscle %n{nicht}
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 11110-11116	Wenn Motion ist ein fall von BodyMotion %n{nicht} und moves Motion and Object, dann Object ist ein fall von BodyPart %n{nicht} und Object ist ein patient von Motion %n{nicht}
(=> (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 8243-8257	Wenn Process ist ein fall von RecreationOrExercise %n{nicht} und ProcessM ist ein instrument fuer Process %n{nicht} und ProcessM ist ein fall von RowingMachine %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und ProcessOW ist ein fall von Rowing %n{nicht} und ProcessMOT ist ein subProzess von Process und Class ist eine teilkategorie von BodyMotion und ProcessMOT ist ein fall von Class %n{nicht}, dann es gibt ProcessOWMOT um ProcessOWMOT ist ein fall von Class %n{nicht} und ProcessOWMOT ist ein subProzess von Process und ProcessOWMOT ist der agent von AutonomousAgent %n{nicht}
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT))))	Merge.kif 11119-11124	Wenn Process ist ein fall von BodyMotion %n{nicht}, dann es gibt AutonomousAgent um AutonomousAgent ist ein fall von Organism %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}

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	Wenn AVPUPainStatus ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Pain %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process um Process ist ein fall von BodyMotion %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und Process verursacht Process %n{nicht}
(=> (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	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Motionless ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend ** TimeInterval %n{nicht}
(=> (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	Wenn Object ist ein fall von BodySegment %n{nicht} und Object ist ein fall von BodySegment %n{nicht} und Object wird an Object angeschlossen und Motion ist ein fall von BodyMotion %n{nicht} und moves Motion and Object, dann die Aussage es gibt nicht Motion2 um Motion2 ist ein fall von BodyMotion %n{nicht} und moves Motion2 and Object und die zeit des Bestehens von Motion2 geschieht waehrend die zeit des Bestehens von ** Motion %n{nicht} hat die modale Kraft von 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	Wenn Process ist ein fall von PressingLipsTogether %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object und Process um Object ist ein fall von Lip %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Process ist ein fall von BodyMotion %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}
(=> (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	Wenn Process ist ein fall von Speaking %n{nicht} und Object ist ein fall von Jaw %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von BodyMotion %n{nicht} und objectTransferred entity and Object und die zeit des Bestehens von entity geschieht waehrend die zeit des Bestehens von Process %n{nicht} hat die modale Kraft von 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	Wenn Process ist ein fall von StayingStill %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt nicht Process und Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Process verursacht Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (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	Wenn entity ist ein fall von ParalysisFn entityART %n{nicht} ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von entityART %n{nicht} und entityART ist ein teil von AutonomousAgent %n{nicht} und es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von ** Process %n{nicht}
(=> (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	Wenn Paralysis ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht}
(=> (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	Wenn AutonomousAgent ist ein fall von Animal %n{nicht}, dann es gibt Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} oder es gibt Attribute um Attribute ist ein fall von BodyPosition %n{nicht} und Attribute ist ein attribut von AutonomousAgent %n{nicht}
(=> (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	Wenn Physical ist ein fall von Eyelid %n{nicht}, dann Physical hat Zweck von es gibt PhysicalYE, entity, and und entity um entity ist ein fall von Covering %n{nicht} und entity ist ein fall von BodyMotion %n{nicht} und entity ist ein fall von Human %n{nicht} und entity erfaehrt entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und PhysicalYE ist ein patient von entity %n{nicht} und PhysicalYE ist ein fall von Eye %n{nicht} und PhysicalYE ist ein teil von entity %n{nicht} und Physical ist ein teil von ** entity %n{nicht} %n{nicht}

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: