Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 15166-15187
(subclass Tissue BodySubstance) Merge.kif 15124-15124 身体组织 是 身体物质 的 subclass
(subclass PlantWicker Tissue) Mid-level-ontology.kif 4598-4598 PlantWicker 是 身体组织 的 subclass
(subclass Wood Tissue) Mid-level-ontology.kif 9161-9161 木 是 身体组织 的 subclass
(subclass Tendon Tissue) Mid-level-ontology.kif 9445-9445 肌腱 是 身体组织 的 subclass
(subclass ConnectiveTissue Tissue) Merge.kif 15149-15149 ConnectiveTissue 是 身体组织 的 subclass
(subclass EpithelialTissue Tissue) Merge.kif 15207-15207 EpithelialTissue 是 身体组织 的 subclass
(subclass MuscleTissue Tissue) Merge.kif 15223-15223 MuscleTissue 是 身体组织 的 subclass
(subclass NervousTissue Tissue) Merge.kif 15239-15239 NervousTissue 是 身体组织 的 subclass
(subclass BoneMarrow Tissue) Medicine.kif 1201-1201 BoneMarrow 是 身体组织 的 subclass


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