TreeView 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 11118-11119
(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 11116-11116	BodyMotion ist eine teilkategorie von Motion

appearance as argument number 2

(subclass Ambulating BodyMotion)	Merge.kif 11160-11160	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 11550-11550	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 11205-11205	Dancing ist eine teilkategorie von BodyMotion
(subclass Dismounting BodyMotion)	Mid-level-ontology.kif 19998-19998	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 13118-13118	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 10618-10618	Extension ist eine teilkategorie von BodyMotion
(subclass EyeMotion BodyMotion)	Mid-level-ontology.kif 19938-19938	EyeMotion ist eine teilkategorie von BodyMotion
(subclass Flexion BodyMotion)	Mid-level-ontology.kif 10594-10594	Flexion ist eine teilkategorie von BodyMotion
(subclass Gesture BodyMotion)	Merge.kif 13114-13114	Gesture ist eine teilkategorie von BodyMotion
(subclass HeartBeat BodyMotion)	Mid-level-ontology.kif 10713-10713	HeartBeat ist eine teilkategorie von BodyMotion
(subclass Inclining BodyMotion)	Mid-level-ontology.kif 13094-13094	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 19884-19884	KneelingDown ist eine teilkategorie von BodyMotion
(subclass LyingDown BodyMotion)	Mid-level-ontology.kif 19859-19859	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 10549-10549	MuscleRelaxing ist eine teilkategorie von BodyMotion
(subclass MuscularContraction BodyMotion)	Mid-level-ontology.kif 10527-10527	MuscularContraction ist eine teilkategorie von BodyMotion
(subclass Scratching BodyMotion)	Mid-level-ontology.kif 5713-5713	Scratching ist eine teilkategorie von BodyMotion
(subclass Shrugging BodyMotion)	Mid-level-ontology.kif 19968-19968	Shrugging ist eine teilkategorie von BodyMotion
(subclass SittingDown BodyMotion)	Mid-level-ontology.kif 19904-19904	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 10576-10592	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 10403-10409	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 11132-11138	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 8242-8256	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 11141-11146	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 30230-30241	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 10576-10592	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 6329-6343	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 6306-6317	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 18069-18079	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 12162-12175	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: