Muscle - Sigma 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 15367-15367	筋肉は体の部分の 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 12112-12112	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 12130-12130	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 11992-11992	antagonistMuscles の数値 1 引数は筋肉のsubclass では %n
(domainSubclass antagonistMuscles 2 Muscle)	Mid-level-ontology.kif 11993-11993	antagonistMuscles の数値 2 引数は筋肉のsubclass では %n
(domainSubclass ennervates 2 Muscle)	Anatomy.kif 1960-1960	ennervates の数値 2 引数は筋肉のsubclass では %n
(domainSubclass muscleInsertion 1 Muscle)	Anatomy.kif 1771-1771	muscleInsertion の数値 1 引数は筋肉のsubclass では %n
(domainSubclass muscleOrigin 1 Muscle)	Anatomy.kif 1721-1721	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 11735-11741	オブジェクトは筋肉の 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 11886-11901	工程は 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 11864-11879	工程は 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 15369-15371	エンティティーは筋肉の 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 11978-11988	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 11938-11948	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 12699-12716	物理は 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 7267-7281	エンティティーは 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 7244-7255	Paralysis は AutonomousAgent の attribute では %n オブジェクトオブジェクトは筋肉の instance では %n オブジェクトは AutonomousAgent の part では %n 工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の patient では %n
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15369-15371	エンティティーは筋肉の instance では %n MuscleTissue は筋肉で made %n
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M))))	Mid-level-ontology.kif 21579-21584	工程は 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 10778-10784	オブジェクトは Tendon の instance では %n オブジェクトオブジェクトオブジェクトは筋肉の instance では %n オブジェクトは骨の instance では %n オブジェクトはオブジェクトとオブジェクトに connects %n{ない}

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: