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 |
|
|
| 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 |
|