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

appearance as argument number 2

(subclass AbductorDigitiMinimiMuscle Muscle)	Muscles.kif 1608-1608	Abductor digiti minimi muscle is a subclass of muscle
(subclass AbductorHallucisMuscle Muscle)	Muscles.kif 2127-2127	Abductor hallucis muscle is a subclass of muscle
(subclass AbductorPollicisBrevisMuscle Muscle)	Muscles.kif 1581-1581	Abductor pollicis brevis muscle is a subclass of muscle
(subclass AbductorPollicisLongusMuscle Muscle)	Muscles.kif 1535-1535	Abductor pollicis longus muscle is a subclass of muscle
(subclass AbductorPollicisMuscle Muscle)	Muscles.kif 1590-1590	Abductor pollicis brevis muscle is a subclass of muscle
(subclass AdductorBrevisMuscle Muscle)	Muscles.kif 1938-1938	Adductor brevis muscle is a subclass of muscle
(subclass AdductorHallucisMuscle Muscle)	Muscles.kif 2180-2180	Adductor hallucis muscle is a subclass of muscle
(subclass AdductorLongusMuscle Muscle)	Muscles.kif 1947-1947	Adductor longus muscle is a subclass of muscle
(subclass AdductorMagnusMuscle Muscle)	Muscles.kif 1956-1956	Adductor magnus muscle is a subclass of muscle
(subclass AdductorMusclesOfTheHipMuscle Muscle)	Muscles.kif 1905-1905	Adductor muscles of the &hip is a subclass of muscle
(subclass AlarPartDilatorNarisMuscle Muscle)	Muscles.kif 241-241	Alar part dilator naris muscle is a subclass of muscle
(subclass AnconeusMuscle Muscle)	Muscles.kif 1369-1369	Anconeus muscle is a subclass of muscle
(subclass ArticularisGenusMuscle Muscle)	Muscles.kif 1809-1809	Articularis genus muscle is a subclass of muscle
(subclass ArytenoidTransverseAndObliqueMuscle Muscle)	Muscles.kif 539-539	Arytenoid (transverse and oblique) muscle is a subclass of muscle
(subclass AuricularisAnteriorMuscle Muscle)	Muscles.kif 163-163	Auricularis anterior muscle is a subclass of muscle
(subclass AuricularisPosteriorMuscle Muscle)	Muscles.kif 179-179	Auricularis posterior muscle is a subclass of muscle
(subclass AuricularisSuperiorMuscle Muscle)	Muscles.kif 171-171	Auricularis superior muscle is a subclass of muscle
(subclass Bicep Muscle)	Mid-level-ontology.kif 10999-10999	Bicep is a subclass of muscle
(subclass BicepsBrachiiMuscle Muscle)	Muscles.kif 1340-1340	Coracobrachialis muscle is a subclass of muscle
(subclass BicepsFemorisMuscle Muscle)	Muscles.kif 1872-1872	Biceps femoris muscle is a subclass of muscle
(subclass BrachialisMuscle Muscle)	Muscles.kif 1348-1348	Brachialis muscle is a subclass of muscle
(subclass BrachioradialisMuscle Muscle)	Muscles.kif 1489-1489	Brachioradialis muscle is a subclass of muscle
(subclass BuccinatorMuscle Muscle)	Muscles.kif 293-293	Buccinator muscle is a subclass of muscle
(subclass BulbospongiosusMuscle Muscle)	Muscles.kif 1148-1148	Bulbospongiosus muscle is a subclass of muscle
(subclass CalfMuscle Muscle)	Mid-level-ontology.kif 11017-11017	Gastrocnemius is a subclass of muscle

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 10879-10879	The number 1 argument of antagonist muscles is a subclass of muscle
(domainSubclass antagonistMuscles 2 Muscle)	Mid-level-ontology.kif 10880-10880	The number 2 argument of antagonist muscles is a subclass of muscle
(domainSubclass ennervates 2 Muscle)	Anatomy.kif 1921-1921	The number 2 argument of ennervates is a subclass of muscle
(domainSubclass muscleInsertion 1 Muscle)	Anatomy.kif 1736-1736	The number 1 argument of muscle insertion is a subclass of muscle
(domainSubclass muscleOrigin 1 Muscle)	Anatomy.kif 1686-1686	The number 1 argument of muscle origin 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 10622-10628	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 voluntary muscle
(=> (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 10773-10788	If a process is an instance of muscle relaxing 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 10751-10766	If a process is an instance of muscular contraction 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 15277-15279	If an entity is an instance of muscle, then muscle is made of muscle tissue

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 10865-10875	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 muscular contraction 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 10825-10835	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 muscular contraction 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 11586-11603	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 (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 6324-6338	If an entity is an instance of paralysis of the the entityART is an attribute of an agent, then there exists another object such that the other object is an instance of muscle and the other object is a part of the entityART and the entityART 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 other 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 6301-6312	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 15277-15279	If an entity is an instance of muscle, then muscle is made of muscle tissue
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M))))	Mid-level-ontology.kif 20250-20255	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 9667-9673	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

KB Term:			Term intersection

English Word: