Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Tissue BodySubstance) | Merge.kif 15420-15420 | Tissue is a subclass of body substance |
| (disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) | Merge.kif 15421-15421 | 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 15423-15428 | Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
| appearance as argument number 2 |
|
|
| (subclass ConnectiveTissue Tissue) | Merge.kif 15445-15445 | Connective tissue is a subclass of tissue |
| (subclass EpithelialTissue Tissue) | Merge.kif 15503-15503 | Epithelial tissue is a subclass of tissue |
| (subclass MuscleTissue Tissue) | Merge.kif 15519-15519 | Muscle tissue is a subclass of tissue |
| (subclass NervousTissue Tissue) | Merge.kif 15535-15535 | Nervous tissue is a subclass of tissue |
| (subclass PlantWicker Tissue) | Mid-level-ontology.kif 5209-5209 | Plant wicker is a subclass of tissue |
| (subclass Wood Tissue) | Mid-level-ontology.kif 10539-10539 | Wood is a subclass of tissue |
| (subclass Tendon Tissue) | Mid-level-ontology.kif 10936-10936 | Tendon is a subclass of tissue |
| (subclass BoneMarrow Tissue) | Medicine.kif 1182-1182 | Bone marrow is a subclass of tissue |
| (termFormat EnglishLanguage Tissue "tissue") | english_format.kif 1266-1266 | Bone marrow is a subclass of tissue |
| antecedent |
|
|
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 15430-15435 | 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 15437-15442 | 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 15462-15483 | 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 |
|
|
| (=> (instance ?PROC OrganOrTissueProcess) (exists (?THING) (and (eventLocated ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue))))) |
Merge.kif 10401-10408 | 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 10930-10934 | If X is an instance of tumor and Y is a part of X, then Y is an instance of tissue |
| (=> (attribute ?H Shock) (exists (?T) (and (instance ?T Tissue) (part ?T ?H) (not (exists (?OB) (and (attribute ?OB OxygenatedBlood) (part ?OB ?T))))))) |
Medicine.kif 5821-5831 | 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 ?AGENT BlisterAgent) (hasPurpose ?AGENT (exists (?DAMAGE ?TISSUE) (and (instance ?DAMAGE Damaging) (instance ?TISSUE Tissue) (patient ?DAMAGE ?TISSUE))))) |
WMD.kif 478-485 | 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 |
|
