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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tissue
Tissue(tissue)نَسِيْج, Andaman_redwood, Bowman's_capsule, Cebu_maguey, Hilatsa, New_Zealand_cotton, Panama_redwood, Philippine_mahogany, SA_node, Tecido, Tessuto, Turkish_boxwood, Utaka, abducens, abducens_nerve, abducent, abducent_nerve, accessory_nerve, acoustic_nerve, adipose_tissue, adrenal_cortex, adrenal_medulla, adventitial, afferent, afferent_fiber, afferent_nerve, allograft, alveolar_bed, amboyna, animal_tissue, anterior_crural_nerve, aponeurosis, aponeurotic, applewood, areolar_tissue, ash, ashen, astroglia, auditory_nerve, autograft, autoplasty, band, basilar_membrane, bassine, bast, bast_fiber, beechen, birch, birchen, bird's-eye_maple...

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


(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 15218-15218 Tissue is disjointly decomposed into bone, muscle, and fat tissue
(documentation Tissue ChineseLanguage "这是同样专门 Cell 和相关细胞间物质的聚合物。 TissueBodyPartOrganOrgan 组织相比,算是相对非局部性。 Tissue 的主要特征是能自我连接(见 SelfConnectedObject)和为性质单一的一块 (粒度相同的所有部分也是 Tissue 的实例。)。") Merge.kif 15225-15227
(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 15219-15224
(subclass Tissue BodySubstance) Merge.kif 15217-15217 Tissue is a subclass of body substance

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


(subclass Bone Tissue) Merge.kif 15243-15243 Bone is a subclass of tissue
(subclass FatTissue Tissue) Merge.kif 15264-15264 Fat tissue is a subclass of tissue
(subclass Muscle Tissue) Merge.kif 15257-15257 Muscle is a subclass of tissue
(subclass Tendon Tissue) Mid-level-ontology.kif 9052-9052 Tendon is a subclass of tissue
(subclass Wood Tissue) Mid-level-ontology.kif 8885-8885 Wood is a subclass of tissue
(termFormat ChineseLanguage Tissue "身体组织") chinese_format.kif 1025-1025 "身体组织" is the printable form of tissue in ChineseLanguage
(termFormat EnglishLanguage Tissue "tissue") english_format.kif 712-712 "tissue" is the printable form of tissue in english language
(termFormat FrenchLanguage Tissue "tissu") french_format.kif 703-703 "tissu" is the printable form of tissue in french language
(termFormat Hindi Tissue "Utaka") terms-hindi.txt 234-234 "Utaka" is the printable form of tissue in Hindi
(termFormat ItalianLanguage Tissue "Tessuto") terms-it.txt 235-235 "Tessuto" is the printable form of tissue in italian language
(termFormat PortugueseLanguage Tissue "Tecido") portuguese_format.kif 655-655 "Tecido" is the printable form of tissue in portuguese language
(termFormat ar Tissue "نَسِيْج") arabic_format.kif 439-439 "نَسِيْج" is the printable form of tissue in ar
(termFormat cz Tissue "tissue") terms-cz.txt 272-272 "tissue" is the printable form of tissue in cz
(termFormat tg Tissue "Hilatsa") terms-tg.txt 238-238 "Hilatsa" is the printable form of tissue in tg

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


(=>
    (instance ?STUFF Tissue)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (part ?STUFF ?ORGANISM))))
Merge.kif 15236-15241
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))
Merge.kif 15229-15234

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


(=>
    (instance ?AGENT BlisterAgent)
    (hasPurpose ?AGENT
        (exists (?DAMAGE ?TISSUE)
            (and
                (instance ?DAMAGE Damaging)
                (instance ?TISSUE Tissue)
                (patient ?DAMAGE ?TISSUE)))))
WMD.kif 478-485
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10174-10181
(=>
    (instance ?TUMOR Tumor)
    (forall (?PART)
        (=>
            (part ?PART ?TUMOR)
            (instance ?PART Tissue))))
Mid-level-ontology.kif 9045-9050


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners