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 15188-15209
(subclass Tissue BodySubstance) Merge.kif 15146-15146 身体组织 是 身体物质 的 subclass
(subclass PlantWicker Tissue) Mid-level-ontology.kif 4598-4598 PlantWicker 是 身体组织 的 subclass
(subclass Wood Tissue) Mid-level-ontology.kif 9160-9160 木 是 身体组织 的 subclass
(subclass Tendon Tissue) Mid-level-ontology.kif 9444-9444 肌腱 是 身体组织 的 subclass
(subclass ConnectiveTissue Tissue) Merge.kif 15171-15171 ConnectiveTissue 是 身体组织 的 subclass
(subclass EpithelialTissue Tissue) Merge.kif 15229-15229 EpithelialTissue 是 身体组织 的 subclass
(subclass MuscleTissue Tissue) Merge.kif 15245-15245 MuscleTissue 是 身体组织 的 subclass
(subclass NervousTissue Tissue) Merge.kif 15261-15261 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