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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Tissue
Tissue(tissu)

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


(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15278-15278 Tissu est disjointement decompos� en ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue
(documentation Tissue ChineseLanguage "这是同样专门 Cell 和相关细胞间物质的聚合物。 TissueBodyPartOrganOrgan 组织相比,算是相对非局部性。 Tissue 的主要特征是能自我连接(见 SelfConnectedObject)和为性质单一的一块 (粒度相同的所有部分也是 Tissue 的实例。)。") chinese_format.kif 3523-3525 Tissu est disjointement decompos� en ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue
(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 15280-15285 Tissu est disjointement decompos� en ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue
(subclass Tissue BodySubstance) Merge.kif 15277-15277 Tissu est une sous-classe de substance corporel

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


(subclass BoneMarrow Tissue) Medicine.kif 1193-1193 BoneMarrow est une sous-classe de tissu
(subclass ConnectiveTissue Tissue) Merge.kif 15302-15302 ConnectiveTissue est une sous-classe de tissu
(subclass EpithelialTissue Tissue) Merge.kif 15360-15360 EpithelialTissue est une sous-classe de tissu
(subclass MuscleTissue Tissue) Merge.kif 15376-15376 MuscleTissue est une sous-classe de tissu
(subclass NervousTissue Tissue) Merge.kif 15392-15392 NervousTissue est une sous-classe de tissu
(subclass PlantWicker Tissue) Mid-level-ontology.kif 5043-5043 PlantWicker est une sous-classe de tissu
(subclass Tendon Tissue) Mid-level-ontology.kif 10774-10774 Tendon est une sous-classe de tissu
(subclass Wood Tissue) Mid-level-ontology.kif 10367-10367 Wood est une sous-classe de tissu
(termFormat ChineseLanguage Tissue "身体组织") chinese_format.kif 1025-1025 Wood est une sous-classe de tissu
(termFormat EnglishLanguage Tissue "tissue") english_format.kif 1262-1262 Wood est une sous-classe de tissu
(termFormat FrenchLanguage Tissue "tissu") french_format.kif 703-703 Wood est une sous-classe de tissu
(termFormat Hindi Tissue "Utaka") terms-hindi.txt 234-234 Wood est une sous-classe de tissu
(termFormat ItalianLanguage Tissue "Tessuto") terms-it.txt 237-237 Wood est une sous-classe de tissu
(termFormat JapaneseLanguage Tissue "《医》組織") japanese_format.kif 2386-2386 Wood est une sous-classe de tissu
(termFormat PortugueseLanguage Tissue "Tecido") portuguese_format.kif 655-655 Wood est une sous-classe de tissu
(termFormat cz Tissue "tissue") terms-cz.txt 272-272 Wood est une sous-classe de tissu
(termFormat de Tissue "Gewebe") terms-de.txt 531-531 Wood est une sous-classe de tissu
(termFormat ro Tissue "þesut") relations-ro.kif 724-724 Wood est une sous-classe de tissu
(termFormat tg Tissue "Hilatsa") terms-tg.txt 238-238 Wood est une sous-classe de tissu

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 15319-15340
(=>
    (instance ?STUFF Tissue)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (part ?STUFF ?ORGANISM))))
Merge.kif 15294-15299
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))
Merge.kif 15287-15292

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 5807-5817
(=>
    (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 10315-10322
(=>
    (instance ?TUMOR Tumor)
    (forall (?PART)
        (=>
            (part ?PART ?TUMOR)
            (instance ?PART Tissue))))
Mid-level-ontology.kif 10767-10772


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