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	動作は motion の subclass では %n

appearance as argument number 2

(subclass Ambulating BodyMotion)	Merge.kif 11160-11160	Ambulating は動作の subclass では %n
(subclass Blinking BodyMotion)	Medicine.kif 447-447	Blinking は動作の subclass では %n
(subclass Chewing BodyMotion)	Mid-level-ontology.kif 11550-11550	Chewing は動作の subclass では %n
(subclass Crawling BodyMotion)	Mid-level-ontology.kif 4381-4381	Crawling は動作の subclass では %n
(subclass Dancing BodyMotion)	Merge.kif 11205-11205	踊りは動作の subclass では %n
(subclass Dismounting BodyMotion)	Mid-level-ontology.kif 19998-19998	Dismounting は動作の subclass では %n
(subclass Dodging BodyMotion)	Mid-level-ontology.kif 445-445	Dodging は動作の subclass では %n
(subclass Ducking BodyMotion)	Mid-level-ontology.kif 13118-13118	Ducking は動作の subclass では %n
(subclass EmotionalBodilyMovementBehavior BodyMotion)	emotion.kif 1358-1358	EmotionalBodilyMovementBehavior は動作の subclass では %n
(subclass Extension BodyMotion)	Mid-level-ontology.kif 10618-10618	Extension は動作の subclass では %n
(subclass EyeMotion BodyMotion)	Mid-level-ontology.kif 19938-19938	EyeMotion は動作の subclass では %n
(subclass Flexion BodyMotion)	Mid-level-ontology.kif 10594-10594	Flexion は動作の subclass では %n
(subclass Gesture BodyMotion)	Merge.kif 13114-13114	Gesture は動作の subclass では %n
(subclass HeartBeat BodyMotion)	Mid-level-ontology.kif 10713-10713	HeartBeat は動作の subclass では %n
(subclass Inclining BodyMotion)	Mid-level-ontology.kif 13094-13094	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 19884-19884	KneelingDown は動作の subclass では %n
(subclass LyingDown BodyMotion)	Mid-level-ontology.kif 19859-19859	LyingDown は動作の subclass では %n
(subclass Mounting BodyMotion)	Mid-level-ontology.kif 465-465	Mounting は動作の subclass では %n
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 10549-10549	MuscleRelaxing は動作の subclass では %n
(subclass MuscularContraction BodyMotion)	Mid-level-ontology.kif 10527-10527	MuscularContraction は動作の subclass では %n
(subclass Scratching BodyMotion)	Mid-level-ontology.kif 5713-5713	Scratching は動作の subclass では %n
(subclass Shrugging BodyMotion)	Mid-level-ontology.kif 19968-19968	Shrugging は動作の subclass では %n
(subclass SittingDown BodyMotion)	Mid-level-ontology.kif 19904-19904	SittingDown は動作の subclass では %n

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	オブジェクトは BodySegment の instance では %n オブジェクトは BodySegment の instance では %n オブジェクトはオブジェクトと connected して motion は動作の instance では %n moves motion and オブジェクトステートメント motion2 motion2 は動作の instance では %n moves motion2 and オブジェクト motion2 の time の existence は motion の time の existence の during に takes %n{ない} には Possibility の modal force がある
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 10403-10409	オブジェクトは筋肉の instance では %n 工程は動作の instance では %n オブジェクトは工程の instrument では %n 工程は意図的なプロセスの instance では %n オブジェクトは VoluntaryMuscle の instance では %n
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 11132-11138	Motion は動作の instance では %n moves motion and オブジェクトオブジェクトは体の部分の instance では %n オブジェクトは motion の patient では %n
(=> (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	工程はレクリエーションまたは運動の instance では %n 工程M は工程の instrument では %n 工程M は RowingMachine の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程OW は Rowing の instance では %n 工程MOT は工程% の subprocess では %n クラスは動作の subclass では %n 工程MOT はクラスの instance では %n 工程OWMOT 工程OWMOT はクラスの instance では %n 工程OWMOT は工程% の subprocess では %n AutonomousAgent は工程OWMOT の agent では %n
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT))))	Merge.kif 11141-11146	工程は動作の instance では %n AutonomousAgent AutonomousAgent は物の instance では %n AutonomousAgent は工程の agent では %n

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	AVPUPainStatus は AutonomousAgent の attribute では %n は時間間隔の during holds %n{ない} 工程は Pain の instance では %n 工程の time の existence は時間間隔の during に takes %n{ない} AutonomousAgent が工程を experiences %n{ない} 工程工程は動作の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程の time の existence は時間間隔の during に takes %n{ない} 工程は工程を causes %n{ない}
(=> (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	AutonomousAgent は AutonomousAgent の instance では %n Motionless は AutonomousAgent の attribute では %n は時間間隔の during holds %n{ない} 工程工程は動作の instance では %n 工程は意図的なプロセスの instance では %n AutonomousAgent は工程の agent では %n 工程の time の existence は時間間隔の during に takes %n{ない}
(=> (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	オブジェクトは BodySegment の instance では %n オブジェクトは BodySegment の instance では %n オブジェクトはオブジェクトと connected して motion は動作の instance では %n moves motion and オブジェクトステートメント motion2 motion2 は動作の instance では %n moves motion2 and オブジェクト motion2 の time の existence は motion の time の existence の during に takes %n{ない} には Possibility の modal force がある
(=> (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	工程は PressingLipsTogether の instance では %n AutonomousAgent は工程の agent では %n オブジェクト工程オブジェクトは Lip の instance では %n オブジェクトは AutonomousAgent の part では %n 工程は動作の instance では %n オブジェクトは工程の patient では %n AutonomousAgent は工程の agent では %n
(=> (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	工程は Speaking の instance では %n オブジェクトは Jaw の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは AutonomousAgent の part では %n ステートメントエンティティーエンティティーは動作の instance では %n objectTransferred エンティティー and オブジェクトエンティティーの time の existence は工程の time の existence の during に takes %n{ない} には Likely の modal force がある
(=> (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	工程は StayingStill の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程工程工程は動作の instance では %n 工程は Translocation の instance では %n 工程は工程を causes %n{ない} AutonomousAgent は工程の agent では %n
(=> (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	エンティティーは ParalysisFn エンティティーART の instance では %n は AutonomousAgent の attribute では %n オブジェクトオブジェクトは筋肉の instance では %n オブジェクトはエンティティーART の part では %n エンティティーART は AutonomousAgent の part では %n 工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の patient では %n
(=> (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	Paralysis は AutonomousAgent の attribute では %n オブジェクトオブジェクトは筋肉の instance では %n オブジェクトは AutonomousAgent の part では %n 工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の patient では %n
(=> (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	AutonomousAgent は動物の instance では %n 工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n 属性属性は BodyPosition の instance では %n 属性は AutonomousAgent の attribute では %n
(=> (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	物理は Eyelid の instance では %n 物理は物理YE エンティティー and エンティティーエンティティーは覆いの instance では %n エンティティーは動作の instance では %n エンティティーは人［人間］の instance では %n エンティティーがエンティティーを experiences %n{ない} 物理はエンティティーの instrument では %n 物理YE はエンティティーの patient では %n 物理YE は Eye の instance では %n 物理YE はエンティティーの part では %n 物理はエンティティーの part では %n の目的 %n{ない}

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: