Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Tissue
Tissue

appearance as argument number 1
-------------------------


(subclass Tissue BodySubstance) Merge.kif 15420-15420
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15421-15421
(documentation Tissue EnglishLanguage "An aggregation of similarly specialized Cells and the associated intercellular substance. Tissues are relatively non-localized in comparison to BodyParts, Organs or Organ components. The main features of Tissues are self-connectivity (see SelfConnectedObject) and being a homogeneous mass (all parts in the same granularity are instances of Tissue as well).") Merge.kif 15423-15428

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


(subclass ConnectiveTissue Tissue) Merge.kif 15445-15445
(subclass EpithelialTissue Tissue) Merge.kif 15503-15503
(subclass MuscleTissue Tissue) Merge.kif 15519-15519
(subclass NervousTissue Tissue) Merge.kif 15535-15535
(subclass PlantWicker Tissue) Mid-level-ontology.kif 5209-5209
(subclass Wood Tissue) Mid-level-ontology.kif 10539-10539
(subclass Tendon Tissue) Mid-level-ontology.kif 10936-10936
(subclass BoneMarrow Tissue) Medicine.kif 1182-1182
(termFormat EnglishLanguage Tissue "tissue") english_format.kif 1266-1266

antecedent
-------------------------


(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))		 Merge.kif 15430-15435
(=>
    (instance ?STUFF Tissue)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (part ?STUFF ?ORGANISM))))		 Merge.kif 15437-15442
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))		 Merge.kif 15462-15483

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


(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))		 Merge.kif 10401-10408
(=>
    (and
        (instance ?TUMOR Tumor)
        (part ?PART ?TUMOR))
    (instance ?PART Tissue))		 Mid-level-ontology.kif 10930-10934
(=>
    (attribute ?H Shock)
    (exists (?T)
        (and
            (instance ?T Tissue)
            (part ?T ?H)
            (not
                (exists (?OB)
                    (and
                        (attribute ?OB OxygenatedBlood)
                        (part ?OB ?T)))))))		 Medicine.kif 5821-5831
(=>
    (instance ?AGENT BlisterAgent)
    (hasPurpose ?AGENT
        (exists (?DAMAGE ?TISSUE)
            (and
                (instance ?DAMAGE Damaging)
                (instance ?TISSUE Tissue)
                (patient ?DAMAGE ?TISSUE)))))		 WMD.kif 478-485


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners