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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MuscleTissue
MuscleTissue

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
(subclass MuscleTissue Tissue) Merge.kif 15223-15223

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

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


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