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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tissue

Sigma KEE - Tissue
Tissue

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


(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15147-15147
(documentation Tissue ChineseLanguage "这是同样专门 Cell 和相关细胞间物质的聚合物。 TissueBodyPartOrganOrgan 组织相比,算是相对非局部性。 Tissue 的主要特征是能自我连接(见 SelfConnectedObject)和为性质单一的一块 (粒度相同的所有部分也是 Tissue 的实例。)。") chinese_format.kif 3523-3525
(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 15149-15154
(subclass Tissue BodySubstance) Merge.kif 15146-15146

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


(subclass BoneMarrow Tissue) Medicine.kif 1201-1201
(subclass ConnectiveTissue Tissue) Merge.kif 15171-15171
(subclass EpithelialTissue Tissue) Merge.kif 15229-15229
(subclass MuscleTissue Tissue) Merge.kif 15245-15245
(subclass NervousTissue Tissue) Merge.kif 15261-15261
(subclass PlantWicker Tissue) Mid-level-ontology.kif 4598-4598
(subclass Tendon Tissue) Mid-level-ontology.kif 9444-9444
(subclass Wood Tissue) Mid-level-ontology.kif 9160-9160
(termFormat ChineseLanguage Tissue "身体组织") chinese_format.kif 1025-1025
(termFormat EnglishLanguage Tissue "tissue") english_format.kif 1262-1262
(termFormat FrenchLanguage Tissue "tissu") french_format.kif 703-703
(termFormat Hindi Tissue "Utaka") terms-hindi.txt 234-234
(termFormat ItalianLanguage Tissue "Tessuto") terms-it.txt 237-237
(termFormat JapaneseLanguage Tissue "《医》組織") japanese_format.kif 2386-2386
(termFormat PortugueseLanguage Tissue "Tecido") portuguese_format.kif 655-655
(termFormat cz Tissue "tissue") terms-cz.txt 272-272
(termFormat ro Tissue "þesut") relations-ro.kif 724-724
(termFormat tg Tissue "Hilatsa") terms-tg.txt 238-238

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


(=>
    (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 15188-15209
(=>
    (instance ?STUFF Tissue)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (part ?STUFF ?ORGANISM))))
Merge.kif 15163-15168
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))
Merge.kif 15156-15161

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


(=>
    (attribute ?H Shock)
    (exists (?T)
        (and
            (instance ?T Tissue)
            (part ?T ?H)
            (not
                (exists (?OB)
                    (and
                        (attribute ?OB OxygenatedBlood)
                        (part ?OB ?T)))))))
Medicine.kif 5796-5806
(=>
    (instance ?AGENT BlisterAgent)
    (hasPurpose ?AGENT
        (exists (?DAMAGE ?TISSUE)
            (and
                (instance ?DAMAGE Damaging)
                (instance ?TISSUE Tissue)
                (patient ?DAMAGE ?TISSUE)))))
WMD.kif 483-490
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10197-10204
(=>
    (instance ?TUMOR Tumor)
    (forall (?PART)
        (=>
            (part ?PART ?TUMOR)
            (instance ?PART Tissue))))
Mid-level-ontology.kif 9437-9442


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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