TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Muscle ChineseLanguage "这是只在 Animal 出现的非坚硬的 Tissue，它大致由收缩细胞所组成。")	chinese_format.kif 3528-3529
(externalImage Muscle "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Arm_muscles_front_superficial.png")	pictureList.kif 135-135
(subclass Muscle BodyPart)	Merge.kif 15229-15229	筋肉は体の部分の subclass では %n

appearance as argument number 2

(subclass AbductorDigitiMinimiMuscle Muscle)	Muscles.kif 1608-1608	AbductorDigitiMinimiMuscle は筋肉の subclass では %n
(subclass AbductorHallucisMuscle Muscle)	Muscles.kif 2127-2127	AbductorHallucisMuscle は筋肉の subclass では %n
(subclass AbductorPollicisBrevisMuscle Muscle)	Muscles.kif 1581-1581	AbductorPollicisBrevisMuscle は筋肉の subclass では %n
(subclass AbductorPollicisLongusMuscle Muscle)	Muscles.kif 1535-1535	AbductorPollicisLongusMuscle は筋肉の subclass では %n
(subclass AbductorPollicisMuscle Muscle)	Muscles.kif 1590-1590	AbductorPollicisMuscle は筋肉の subclass では %n
(subclass AdductorBrevisMuscle Muscle)	Muscles.kif 1938-1938	AdductorBrevisMuscle は筋肉の subclass では %n
(subclass AdductorHallucisMuscle Muscle)	Muscles.kif 2180-2180	AdductorHallucisMuscle は筋肉の subclass では %n
(subclass AdductorLongusMuscle Muscle)	Muscles.kif 1947-1947	AdductorLongusMuscle は筋肉の subclass では %n
(subclass AdductorMagnusMuscle Muscle)	Muscles.kif 1956-1956	AdductorMagnusMuscle は筋肉の subclass では %n
(subclass AdductorMusclesOfTheHipMuscle Muscle)	Muscles.kif 1905-1905	AdductorMusclesOfTheHipMuscle は筋肉の subclass では %n
(subclass AlarPartDilatorNarisMuscle Muscle)	Muscles.kif 241-241	AlarPartDilatorNarisMuscle は筋肉の subclass では %n
(subclass AnconeusMuscle Muscle)	Muscles.kif 1369-1369	AnconeusMuscle は筋肉の subclass では %n
(subclass ArticularisGenusMuscle Muscle)	Muscles.kif 1809-1809	ArticularisGenusMuscle は筋肉の subclass では %n
(subclass ArytenoidTransverseAndObliqueMuscle Muscle)	Muscles.kif 539-539	ArytenoidTransverseAndObliqueMuscle は筋肉の subclass では %n
(subclass AuricularisAnteriorMuscle Muscle)	Muscles.kif 163-163	AuricularisAnteriorMuscle は筋肉の subclass では %n
(subclass AuricularisPosteriorMuscle Muscle)	Muscles.kif 179-179	AuricularisPosteriorMuscle は筋肉の subclass では %n
(subclass AuricularisSuperiorMuscle Muscle)	Muscles.kif 171-171	AuricularisSuperiorMuscle は筋肉の subclass では %n
(subclass Bicep Muscle)	Mid-level-ontology.kif 10781-10781	Bicep は筋肉の subclass では %n
(subclass BicepsBrachiiMuscle Muscle)	Muscles.kif 1340-1340	BicepsBrachiiMuscle は筋肉の subclass では %n
(subclass BicepsFemorisMuscle Muscle)	Muscles.kif 1872-1872	BicepsFemorisMuscle は筋肉の subclass では %n
(subclass BrachialisMuscle Muscle)	Muscles.kif 1348-1348	BrachialisMuscle は筋肉の subclass では %n
(subclass BrachioradialisMuscle Muscle)	Muscles.kif 1489-1489	BrachioradialisMuscle は筋肉の subclass では %n
(subclass BuccinatorMuscle Muscle)	Muscles.kif 293-293	BuccinatorMuscle は筋肉の subclass では %n
(subclass BulbospongiosusMuscle Muscle)	Muscles.kif 1148-1148	BulbospongiosusMuscle は筋肉の subclass では %n
(subclass CalfMuscle Muscle)	Mid-level-ontology.kif 10799-10799	CalfMuscle は筋肉の subclass では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domainSubclass antagonistMuscles 1 Muscle)	Mid-level-ontology.kif 10661-10661	antagonistMuscles の数値 1 引数は筋肉のsubclass では %n
(domainSubclass antagonistMuscles 2 Muscle)	Mid-level-ontology.kif 10662-10662	antagonistMuscles の数値 2 引数は筋肉のsubclass では %n
(domainSubclass ennervates 2 Muscle)	Anatomy.kif 1921-1921	ennervates の数値 2 引数は筋肉のsubclass では %n
(domainSubclass muscleInsertion 1 Muscle)	Anatomy.kif 1736-1736	muscleInsertion の数値 1 引数は筋肉のsubclass では %n
(domainSubclass muscleOrigin 1 Muscle)	Anatomy.kif 1686-1686	muscleOrigin の数値 1 引数は筋肉のsubclass では %n

antecedent

(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 10404-10410	オブジェクトは筋肉の instance では %n 工程は動作の instance では %n オブジェクトは工程の instrument では %n 工程は意図的なプロセスの instance では %n オブジェクトは VoluntaryMuscle の instance では %n
(=> (and (instance ?MC MuscleRelaxing) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 10555-10570	工程は MuscleRelaxing の instance では %n エンティティーは工程の patient では %n エンティティーは筋肉の instance では %n エンティティーの length は実数のエンティティー(s) ではは工程の time の existence の immediately before の during holds %n{ない} エンティティーの length は実数のエンティティー(s) ではは工程の time の existence のすぐ after の during holds %n{ない} 実数は実数より greater では　%n
(=> (and (instance ?MC MuscularContraction) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N1 ?N2))	Mid-level-ontology.kif 10533-10548	工程は MuscularContraction の instance では %n エンティティーは工程の patient では %n エンティティーは筋肉の instance では %n エンティティーの length は実数のエンティティー(s) ではは工程の time の existence の immediately before の during holds %n{ない} エンティティーの length は実数のエンティティー(s) ではは工程の time の existence のすぐ after の during holds %n{ない} 実数は実数より greater では　%n
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15231-15233	エンティティーは筋肉の instance では %n MuscleTissue は筋肉で made %n

consequent

(=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E))))	Mid-level-ontology.kif 10647-10657	Motion は Extension の instance では %n moves motion and オブジェクトオブジェクトオブジェクトC オブジェクトは筋肉の instance では %n オブジェクトC は MuscularContraction の instance では %n オブジェクトは motion の instrument では %n オブジェクトはオブジェクトと connected してオブジェクトC は motion% の subprocess では %n
(=> (and (instance ?F Flexion) (moves ?F ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?F ?M) (connected ?M ?BP) (subProcess ?MC ?F))))	Mid-level-ontology.kif 10607-10617	Motion は Flexion の instance では %n moves motion and オブジェクトオブジェクトオブジェクトC オブジェクトは筋肉の instance では %n オブジェクトC は MuscularContraction の instance では %n オブジェクトは motion の instrument では %n オブジェクトはオブジェクトと connected してオブジェクトC は motion% の subprocess では %n
(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 11368-11385	物理は HeartAttack の instance では %n オブジェクトは Heart の instance では %n 物理はオブジェクトに located して %n オブジェクトオブジェクトは筋肉の instance では %n オブジェクトはオブジェクトの part では %n 時間間隔オブジェクト時間間隔は LiquidMotion の instance では %n objectTransferred 時間間隔 and オブジェクトオブジェクトは血の instance では %n 時間間隔は物理の time の existence の during に takes %n{ない} 時間間隔はオブジェクトに ends %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 6330-6344	エンティティーは 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 6307-6318	Paralysis は AutonomousAgent の attribute では %n オブジェクトオブジェクトは筋肉の instance では %n オブジェクトは AutonomousAgent の part では %n 工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の patient では %n
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15231-15233	エンティティーは筋肉の instance では %n MuscleTissue は筋肉で made %n
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M))))	Mid-level-ontology.kif 19992-19997	工程は ReflexiveProcess の instance では %n エンティティーエンティティーは筋肉の instance では %n エンティティーは工程の patient では %n
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 9449-9455	オブジェクトは Tendon の instance では %n オブジェクトオブジェクトオブジェクトは筋肉の instance では %n オブジェクトは骨の instance では %n オブジェクトはオブジェクトとオブジェクトに connects %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: