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 15272-15273
(subclass MuscleTissue AnimalSubstance) Merge.kif 15271-15271 MuscleTissueAnimalSubstancesubclass では %n
(subclass MuscleTissue Tissue) Merge.kif 15269-15269 MuscleTissue《医》組織subclass では %n

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


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

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


(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15171-15171 《医》組織ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissuedisjointly decomposed %n

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


(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 15277-15279


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