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 14060-14061
(externalImage Muscle "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Arm_muscles_front_superficial.png") pictureList.kif 135-135
(subclass Muscle AnimalSubstance) Merge.kif 14059-14059 subclass Muscle and AnimalSubstance
(subclass Muscle Tissue) Merge.kif 14058-14058 subclass Muscle and Tissue

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


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

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


(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 14024-14024 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 17751-17756
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9059-9065


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