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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Muscle
Muscle

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

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


(subclass AbductorDigitiMinimiMuscle Muscle) Muscles.kif 1608-1608
(subclass AbductorHallucisMuscle Muscle) Muscles.kif 2127-2127
(subclass AbductorPollicisBrevisMuscle Muscle) Muscles.kif 1581-1581
(subclass AbductorPollicisLongusMuscle Muscle) Muscles.kif 1535-1535
(subclass AbductorPollicisMuscle Muscle) Muscles.kif 1590-1590
(subclass AdductorBrevisMuscle Muscle) Muscles.kif 1938-1938
(subclass AdductorHallucisMuscle Muscle) Muscles.kif 2180-2180
(subclass AdductorLongusMuscle Muscle) Muscles.kif 1947-1947
(subclass AdductorMagnusMuscle Muscle) Muscles.kif 1956-1956
(subclass AdductorMusclesOfTheHipMuscle Muscle) Muscles.kif 1905-1905
(subclass AlarPartDilatorNarisMuscle Muscle) Muscles.kif 241-241
(subclass AnconeusMuscle Muscle) Muscles.kif 1369-1369
(subclass ArticularisGenusMuscle Muscle) Muscles.kif 1809-1809
(subclass ArytenoidTransverseAndObliqueMuscle Muscle) Muscles.kif 539-539
(subclass AuricularisAnteriorMuscle Muscle) Muscles.kif 163-163
(subclass AuricularisPosteriorMuscle Muscle) Muscles.kif 179-179
(subclass AuricularisSuperiorMuscle Muscle) Muscles.kif 171-171
(subclass Bicep Muscle) Mid-level-ontology.kif 10781-10781
(subclass BicepsBrachiiMuscle Muscle) Muscles.kif 1340-1340
(subclass BicepsFemorisMuscle Muscle) Muscles.kif 1872-1872
(subclass BrachialisMuscle Muscle) Muscles.kif 1348-1348
(subclass BrachioradialisMuscle Muscle) Muscles.kif 1489-1489
(subclass BuccinatorMuscle Muscle) Muscles.kif 293-293
(subclass BulbospongiosusMuscle Muscle) Muscles.kif 1148-1148
(subclass CalfMuscle Muscle) Mid-level-ontology.kif 10799-10799

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
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10662-10662
(domainSubclass ennervates 2 Muscle) Anatomy.kif 1921-1921
(domainSubclass muscleInsertion 1 Muscle) Anatomy.kif 1736-1736
(domainSubclass muscleOrigin 1 Muscle) Anatomy.kif 1686-1686

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 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