| appearance as argument number 1 |
|
|
| (subclass Tissue BodySubstance) | Merge.kif 15299-15299 | Tissue is a subclass of body substance |
| (disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) | Merge.kif 15300-15300 | Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
| (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 15302-15307 | Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 15309-15314 | If X is an instance of tissue, then there exists Y such that Y is an instance of cell and Y is a part of X |
| (=> (instance ?STUFF Tissue) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?STUFF ?ORGANISM)))) |
Merge.kif 15316-15321 | If X is an instance of tissue, then there exists Y such that Y is an instance of organism and X is a part of Y |
| (=> (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 15341-15362 | If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely |
| 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 5783-5793 | If shock is an attribute of X, then there exists Y such that Y is an instance of tissue, Y is a part of X, there doesn't exist Z such that oxygenated blood is an attribute of Z, and Z is a part of Y |
| (=> (instance ?PROC OrganOrTissueProcess) (exists (?THING) (and (eventLocated ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue))))) |
Merge.kif 10335-10342 | If X is an instance of organ or tissue process, then there exists Y such that X is located at Y and Y is an instance of organ or Y is an instance of tissue |
| (=> (and (instance ?TUMOR Tumor) (part ?PART ?TUMOR)) (instance ?PART Tissue)) |
Mid-level-ontology.kif 10807-10811 | If X is an instance of tumor and Y is a part of X, then Y is an instance of tissue |
| (=> (instance ?AGENT BlisterAgent) (hasPurpose ?AGENT (exists (?DAMAGE ?TISSUE) (and (instance ?DAMAGE Damaging) (instance ?TISSUE Tissue) (patient ?DAMAGE ?TISSUE))))) |
WMD.kif 483-490 | If X is an instance of blister agent, then X has the purpose there exist Y, Z such that Y is an instance of damaging, Z is an instance of tissue, and Z is a patient of Y |
|
|
|