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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MuscleTissue
MuscleTissue(muscle tissue)muscle, muscular_tissue, striated_muscle_tissue

appearance as argument number 1

(documentation MuscleTissue EnglishLanguage "Nonrigid Tissue appearing only in Animals and composed largely of contractile cells.") Merge.kif 15226-15227
(subclass MuscleTissue AnimalSubstance) Merge.kif 15225-15225 Muscle tissue is a subclass of animal substance
(subclass MuscleTissue Tissue) Merge.kif 15223-15223 Muscle tissue is a subclass of tissue

appearance as argument number 2

(termFormat EnglishLanguage MuscleTissue "muscle tissue") domainEnglishFormat.kif 65211-65211

appearance as argument number 3

(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15125-15125 Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue


    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 15231-15233

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