Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Muscle

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 15229-15229 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 10781-10781 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 10799-10799 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 10661-10661 The number 1 argument of antagonist muscles is a subclass of muscle
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10662-10662 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 10404-10410
(=>
    (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
(=>
    (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
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 15231-15233

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 15231-15233
(=>
    (instance ?P ReflexiveProcess)
    (exists (?M)
        (and
            (instance ?M Muscle)
            (patient ?P ?M))))
Mid-level-ontology.kif 19992-19997
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9449-9455


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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