Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Muscle BodyPart) Merge.kif 15525-15525 Muscle is a subclass of body part
(externalImage Muscle "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Arm_muscles_front_superficial.png") pictureList.kif 135-135 Muscle is a subclass of body part

appearance as argument number 2
-------------------------


(subclass VoluntaryMuscle Muscle) Mid-level-ontology.kif 11853-11853 Voluntary muscle is a subclass of muscle
(subclass InvoluntaryMuscle Muscle) Mid-level-ontology.kif 11865-11865 Involuntary muscle is a subclass of muscle
(subclass Pectoralis Muscle) Mid-level-ontology.kif 12223-12223 Chest muscle is a subclass of muscle
(subclass LatissimusDorsi Muscle) Mid-level-ontology.kif 12230-12230 Upper back muscle is a subclass of muscle
(subclass Bicep Muscle) Mid-level-ontology.kif 12238-12238 Bicep is a subclass of muscle
(subclass Tricep Muscle) Mid-level-ontology.kif 12243-12243 Tricep is a subclass of muscle
(subclass ThighMuscle Muscle) Mid-level-ontology.kif 12248-12248 Quadriceps is a subclass of muscle
(subclass CalfMuscle Muscle) Mid-level-ontology.kif 12256-12256 Gastrocnemius is a subclass of muscle
(subclass ShinMuscle Muscle) Mid-level-ontology.kif 12263-12263 Tibialis anterior is a subclass of muscle
(subclass HamstringMuscle Muscle) Mid-level-ontology.kif 12269-12269 Hamstring muscle is a subclass of muscle
(subclass DeltoidMuscle Muscle) Mid-level-ontology.kif 12277-12277 Deltoid muscle is a subclass of muscle
(subclass GluteusMaximusMuscle Muscle) Mid-level-ontology.kif 12280-12280 Gluteus maximus is a subclass of muscle
(subclass OccipitofrontalisMuscle Muscle) Muscles.kif 19-19 Occipitofrontalis is a subclass of muscle
(subclass OccipitalisMuscle Muscle) Muscles.kif 34-34 Occipitalis muscle is a subclass of muscle
(subclass FrontalisMuscle Muscle) Muscles.kif 44-44 Frontalis muscle is a subclass of muscle
(subclass OrbicularisOculiMuscle Muscle) Muscles.kif 54-54 Orbicularis oculi muscle is a subclass of muscle
(subclass CorrugatorSuperciliiMuscle Muscle) Muscles.kif 64-64 Corrugator supercilii muscle is a subclass of muscle
(subclass DepressorSuperciliiMuscle Muscle) Muscles.kif 72-72 Depressor supercilii muscle is a subclass of muscle
(subclass LevatorPalpebraeSuperiorisMuscle Muscle) Muscles.kif 79-79 Levator palpebrae superioris muscle is a subclass of muscle
(subclass SuperiorTarsalMuscle Muscle) Muscles.kif 90-90 Muller's muscle is a subclass of muscle
(subclass SuperiorRectusMuscle Muscle) Muscles.kif 101-101 Superior rectus muscle is a subclass of muscle
(subclass InferiorRectusMuscle Muscle) Muscles.kif 111-111 Inferior rectus muscle is a subclass of muscle
(subclass MedialRectusMuscle Muscle) Muscles.kif 121-121 Medial rectus muscle 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 12114-12114 The number 1 argument of antagonist muscles is a subclass of muscle
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 12115-12115 The number 2 argument of antagonist muscles is a subclass of muscle
(domainSubclass muscleOrigin 1 Muscle) Anatomy.kif 1708-1708 The number 1 argument of muscle origin is a subclass of muscle
(domainSubclass muscleInsertion 1 Muscle) Anatomy.kif 1758-1758 The number 1 argument of muscle insertion is a subclass of muscle
(domainSubclass ennervates 2 Muscle) Anatomy.kif 1948-1948 The number 2 argument of ennervates is a subclass of muscle

antecedent
-------------------------


(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))		 Merge.kif 15527-15529 If X is an instance of muscle, then muscle is made of muscle tissue
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 11857-11863 If X is an instance of muscle, Y is an instance of body motion, X is an instrument for Y, and Y is an instance of intentional process, then X is an instance of voluntary muscle
(=>
    (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 11986-12001 If X is an instance of muscular contraction, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then Z is greater than V
(=>
    (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 12008-12023 If X is an instance of muscle relaxing, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then V is greater than Z

consequent
-------------------------


(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))		 Merge.kif 15527-15529 If X is an instance of muscle, then muscle is made of muscle tissue
(=>
    (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 7426-7437 If paralysis is an attribute of X, then there exists Y such that Y is an instance of muscle, Y is a part of X, there doesn't exist Z such that Z is an instance of body motion, X is an agent of Z, and Y is a patient of Z
(=>
    (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 7451-7464 If paralysis of the X is an attribute of Y, then there exists Z such that Z is an instance of muscle, Z is a part of X, X is a part of Y, there doesn't exist W such that W is an instance of body motion, Y is an agent of W, and Z is a patient of W
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))		 Mid-level-ontology.kif 10940-10946 If X is an instance of tendon, then there exist Y, Z such that Y is an instance of muscle, Z is an instance of bone, X connects Y, and Z
(=>
    (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 12060-12070 If X is an instance of flexion and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X
(=>
    (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 12100-12110 If X is an instance of extension and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X
(=>
    (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 12868-12885 If X is an instance of myocardial infarction, Y is an instance of heart, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of muscle (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z
(=>
    (instance ?P ReflexiveProcess)
    (exists (?M)
        (and
            (instance ?M Muscle)
            (patient ?P ?M))))		 Mid-level-ontology.kif 22207-22212 If X is an instance of reflexive process, then there exists Y such that Y is an instance of muscle and Y is a patient of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners