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
(documentation Muscle EnglishLanguage "Nonrigid Tissue appearing only in Animals and composed largely of contractile cells.") Merge.kif 13936-13937
(externalImage Muscle "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Arm_muscles_front_superficial.png") pictureList.kif 135-135 externalImage Muscle and "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Arm_muscles_front_superficial.png"
(subclass Muscle AnimalSubstance) Merge.kif 13935-13935 subclass Muscle and AnimalSubstance
(subclass Muscle Tissue) Merge.kif 13934-13934 subclass Muscle and Tissue

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


(termFormat ChineseLanguage Muscle "肌肉") chinese_format.kif 1027-1027 termFormat ChineseLanguage, Muscle and "肌肉"
(termFormat EnglishLanguage Muscle "muscle") english_format.kif 1271-1271 termFormat EnglishLanguage, Muscle and "muscle"

appearance as argument number 3
-------------------------


(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 13900-13900 disjointDecomposition Tissue, Bone, Muscle and FatTissue

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


(=>
    (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)))))))
WMD.kif 1028-1038
(=>
    (instance ?P ReflexiveProcess)
    (exists (?M)
        (and
            (instance ?M Muscle)
            (patient ?P ?M))))
Mid-level-ontology.kif 17654-17659
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9054-9060


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners