|
|
| appearance as argument number 1 |
|
|
| (disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) | Merge.kif 15014-15014 | Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
| (documentation Tissue ChineseLanguage "这是同样专门 Cell 和相关细胞间物质的聚合物。 Tissue 和 BodyPart、Organ 或 Organ 组织相比，算是相对非局部性。 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 15016-15021 | |
| (subclass Tissue BodySubstance) | Merge.kif 15013-15013 | Tissue is a subclass of body substance |
| appearance as argument number 2 |
|
|
| (subclass ConnectiveTissue Tissue) | Merge.kif 15038-15038 | Connective tissue is a subclass of tissue |
| (subclass EpithelialTissue Tissue) | Merge.kif 15091-15091 | Epithelial tissue is a subclass of tissue |
| (subclass MuscleTissue Tissue) | Merge.kif 15107-15107 | Muscle tissue is a subclass of tissue |
| (subclass NervousTissue Tissue) | Merge.kif 15123-15123 | Nervous tissue is a subclass of tissue |
| (subclass PlantWicker Tissue) | Mid-level-ontology.kif 4565-4565 | Plant wicker is a subclass of tissue |
| (subclass Tendon Tissue) | Mid-level-ontology.kif 9397-9397 | Tendon is a subclass of tissue |
| (subclass Wood Tissue) | Mid-level-ontology.kif 9128-9128 | Wood is a subclass of tissue |
| (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 235-235 | |
| (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 |
|
|
| (=> (instance ?STUFF Tissue) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?STUFF ?ORGANISM)))) |
Merge.kif 15030-15035 |
|
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 15023-15028 |
|
| consequent |
|
|
| (=> (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 10159-10166 |
|
| (=> (instance ?TUMOR Tumor) (forall (?PART) (=> (part ?PART ?TUMOR) (instance ?PART Tissue)))) |
Mid-level-ontology.kif 9390-9395 |
|
|
|
|
