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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Muscle

 Sigma KEE - Muscle
Muscle(Muscolo)

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 15251-15251 Muscolo è una sottoclasse di ParteDelCorpo

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


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

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 10660-10660 Il numero 1 argomento antagonistMuscles è una sottoclasse diMuscolo
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10661-10661 Il numero 2 argomento antagonistMuscles è una sottoclasse diMuscolo
(domainSubclass ennervates 2 Muscle) Anatomy.kif 1921-1921 Il numero 2 argomento ennervates è una sottoclasse diMuscolo
(domainSubclass muscleInsertion 1 Muscle) Anatomy.kif 1736-1736 Il numero 1 argomento muscleInsertion è una sottoclasse diMuscolo
(domainSubclass muscleOrigin 1 Muscle) Anatomy.kif 1686-1686 Il numero 1 argomento muscleOrigin è una sottoclasse diMuscolo

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


(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 10403-10409
(=>
    (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 10554-10569
(=>
    (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 10532-10547
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))		 Merge.kif 15253-15255

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 10646-10656
(=>
    (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 10606-10616
(=>
    (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 11367-11384
(=>
    (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 6329-6343
(=>
    (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 6306-6317
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))		 Merge.kif 15253-15255
(=>
    (instance ?P ReflexiveProcess)
    (exists (?M)
        (and
            (instance ?M Muscle)
            (patient ?P ?M))))		 Mid-level-ontology.kif 19991-19996
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))		 Mid-level-ontology.kif 9448-9454


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