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 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
(=>
    (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
(=>
    (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
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 14949-14951

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 14949-14951
(=>
    (instance ?P ReflexiveProcess)
    (exists (?M)
        (and
            (instance ?M Muscle)
            (patient ?P ?M))))
Mid-level-ontology.kif 19315-19320
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9045-9051


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