Muscle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Muscle

Muscle(muscle)

Achilles_tendon, Purkinje's_system, Purkinje's_tissue, Purkinje_fiber, Purkinje_network, ab, abdominal, abdominal_external_oblique_muscle, abdominal_muscle, abducens_muscle, abductor, abductor_muscle, adductor, adductor_muscle, agonist, anal_sphincter, anatomical_sphincter, anconeous_muscle, antagonist, antagonistic_muscle, anterior_serratus_muscle, articular_muscle, atrioventricular_bundle, atrioventricular_node, atrioventricular_trunk, axial_muscle, biceps, bladder_sphincter, buccinator_muscle, bundle_of_His, cardiac_muscle, cardiac_sphincter, cheek_muscle, cowl_muscle, depressor, depressor_muscle, diaphragm, extensor, extensor_muscle, external_oblique_muscle, eye_muscle, facial_muscle, femoral_biceps, flexor, flexor_muscle, gastrocnemius, gastrocnemius_muscle, gluteal, gluteus_medius, gluteus_minimus...

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 14947-14947	Muscle is a subclass of body part

appearance as argument number 2

(subclass Bicep Muscle)	Mid-level-ontology.kif 10285-10285	Bicep is a subclass of muscle
(subclass CalfMuscle Muscle)	Mid-level-ontology.kif 10303-10303	Gastrocnemius is a subclass of muscle
(subclass DeltoidMuscle Muscle)	Mid-level-ontology.kif 10324-10324	DeltoidMuscle is a subclass of muscle
(subclass GluteusMaximusMuscle Muscle)	Mid-level-ontology.kif 10327-10327	Gluteus maximus is a subclass of muscle
(subclass HamstringMuscle Muscle)	Mid-level-ontology.kif 10316-10316	Hamstring muscle is a subclass of muscle
(subclass InvoluntaryMuscle Muscle)	Mid-level-ontology.kif 9939-9939	InvoluntaryMuscle is a subclass of muscle
(subclass LatissimusDorsi Muscle)	Mid-level-ontology.kif 10277-10277	Upper back muscle is a subclass of muscle
(subclass Pectoralis Muscle)	Mid-level-ontology.kif 10270-10270	Chest muscle is a subclass of muscle
(subclass ShinMuscle Muscle)	Mid-level-ontology.kif 10310-10310	Tibialis anterior is a subclass of muscle
(subclass ThighMuscle Muscle)	Mid-level-ontology.kif 10295-10295	Quadriceps is a subclass of muscle
(subclass Tricep Muscle)	Mid-level-ontology.kif 10290-10290	Tricep is a subclass of muscle
(subclass VoluntaryMuscle Muscle)	Mid-level-ontology.kif 9927-9927	VoluntaryMuscle is a subclass of muscle
(termFormat ChineseLanguage Muscle "肌肉")	chinese_format.kif 1027-1027
(termFormat EnglishLanguage Muscle "muscle")	english_format.kif 1266-1266

appearance as argument number 3

(domainSubclass antagonistMuscles 1 Muscle)	Mid-level-ontology.kif 10169-10169	The number 1 argument of antagonist muscles is a subclass of muscle
(domainSubclass antagonistMuscles 2 Muscle)	Mid-level-ontology.kif 10170-10170	The number 2 argument of antagonist muscles is a subclass of muscle

antecedent

(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 9931-9937	If an object is an instance of muscle and a process is an instance of body motion and the object is an instrument for the process and the process is an instance of intentional process, then the object is an instance of 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 10063-10078	If a process is an instance of MuscleRelaxing and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the other real number is greater than the real number
(=> (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 10041-10056	If a process is an instance of MuscularContraction and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 14949-14951	If an entity is an instance of muscle, then muscle is made of MuscleTissue

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 10155-10165	If a motion is an instance of Extension and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of MuscularContraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
(=> (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 10115-10125	If a motion is an instance of Flexion and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of MuscularContraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
(=> (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 10867-10884	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
(=> (attribute ?ORGANISM (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 6002-6015	If paralysis of the a body part is an attribute of an agent, then there exists an object such that the object is an instance of muscle and the object is a part of the body part and the body part is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the object is a patient of the process
(=> (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 5981-5992	If paralysis is an attribute of an agent, then there exists an object such that the object is an instance of muscle and the object is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the object is a patient of the process
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 14949-14951	If an entity is an instance of muscle, then muscle is made of MuscleTissue
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M))))	Mid-level-ontology.kif 19315-19320	If a process is an instance of reflexive process, then there exists an entity such that the entity is an instance of muscle and the entity is a patient of the process
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 9045-9051	If an object is an instance of tendon, then there exist another object and a third object such that the other object is an instance of muscle and the third object is an instance of bone and the object connects the other object and the third object

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