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 15229-15229	Musculo e' uma sub-classe de Parte do Corpo

appearance as argument number 2

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

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	O argumento numero 1 de antagonistMuscles e' uma sub-classe de Musculo
(domainSubclass antagonistMuscles 2 Muscle)	Mid-level-ontology.kif 10662-10662	O argumento numero 2 de antagonistMuscles e' uma sub-classe de Musculo
(domainSubclass ennervates 2 Muscle)	Anatomy.kif 1921-1921	O argumento numero 2 de ennervates e' uma sub-classe de Musculo
(domainSubclass muscleInsertion 1 Muscle)	Anatomy.kif 1736-1736	O argumento numero 1 de muscleInsertion e' uma sub-classe de Musculo
(domainSubclass muscleOrigin 1 Muscle)	Anatomy.kif 1686-1686	O argumento numero 1 de muscleOrigin e' uma sub-classe de Musculo

antecedent

(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 10404-10410	Objeto e' uma instancia de Musculo Processo e' uma instancia de Movimento do Corpo Objeto e' um instrumento para Processo Processo e' uma instancia de Processo Intencional Objeto e' uma instancia de VoluntaryMuscle
(=> (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	Processo e' uma instancia de MuscleRelaxing Entidade e' um patient de Processo Entidade e' uma instancia de Musculo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
(=> (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	Processo e' uma instancia de MuscularContraction Entidade e' um patient de Processo Entidade e' uma instancia de Musculo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15231-15233	Entidade e' uma instancia de Musculo MuscleTissue e' feito de Musculo

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	Movimento e' uma instancia de Extension moves Movimento and Objeto Objeto ObjetoC Objeto e' uma instancia de Musculo ObjetoC e' uma instancia de MuscularContraction Objeto e' um instrumento para Movimento Objeto e' conectado com Objeto ObjetoC e' um sub-processo de Movimento
(=> (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	Movimento e' uma instancia de Flexion moves Movimento and Objeto Objeto ObjetoC Objeto e' uma instancia de Musculo ObjetoC e' uma instancia de MuscularContraction Objeto e' um instrumento para Movimento Objeto e' conectado com Objeto ObjetoC e' um sub-processo de Movimento
(=> (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	Fisico e' uma instancia de HeartAttack Objeto e' uma instancia de Heart Fisico e' situado em Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de LiquidMotion objectTransferred Intervalo Temporal and Objeto Objeto e' uma instancia de Sangue Intervalo Temporal acontece durante tempo de existencia de Fisico Intervalo Temporal termina em Objeto
(=> (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	Entidade e' uma instancia de ParalysisFn EntidadeART e' um atributo de AutonomousAgent Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de EntidadeART EntidadeART e' uma &parte de AutonomousAgent Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo
(=> (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 e' um atributo de AutonomousAgent Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de AutonomousAgent Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15231-15233	Entidade e' uma instancia de Musculo MuscleTissue e' feito de Musculo
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M))))	Mid-level-ontology.kif 19992-19997	Processo e' uma instancia de ReflexiveProcess Entidade Entidade e' uma instancia de Musculo Entidade e' um patient de Processo
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 9449-9455	Objeto e' uma instancia de Tendon Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma instancia de Osso Objeto conecta Objeto e Objeto

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: