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 |
|
| s__subclass(s__Tissue,s__BodySubstance)
|
Merge.kif 15420-15420 | Tissue is a subclass of body substance |
| s__disjointDecomposition(s__Tissue,s__ConnectiveTissue,s__MuscleTissue,s__NervousTissue,s__EpithelialTissue)
|
Merge.kif 15421-15421 | Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
| s__documentation(s__Tissue, s__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 |
|
|
| ! [V__STUFF] : ((s__instance(V__STUFF,s__Tissue) => (? [V__PART] : ((s__instance(V__PART,s__Cell) & s__part(V__PART,V__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 |
| ! [V__STUFF] : ((s__instance(V__STUFF,s__Tissue) => (? [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) & s__part(V__STUFF,V__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 |
| ! [V__H : $i,V__T1 : $i,V__T1C : $i,V__T2 : $i,V__T2C : $i] : (((s__subclass(V__T1C, s__Tissue) & s__subclass(V__T2C, s__Tissue) & s__instance(V__T1, V__T1C) & s__instance(V__T2, V__T2C) & s__instance(V__H, s__Human) & s__part(V__T1, V__H) & s__part(V__T2, V__H) & ~(V__T1C = V__T2C) & ~(s__subclass(V__T1C, V__T2C)) & ~(s__subclass(V__T2C, V__T1C)) & s__orientation(V__T1, V__T2, s__Adjacent)) => s__modalAttribute(( ? [V__CT:$i] : ((s__instance(V__CT, s__ConnectiveTissue) & s__between(V__T1, V__CT, V__T2)))), s__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 |
|
|
| ! [V__PROC] : ((s__instance(V__PROC,s__OrganOrTissueProcess) => (? [V__THING] : ((s__eventLocated(V__PROC,V__THING) & (s__instance(V__THING,s__Organ) | s__instance(V__THING,s__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 |
| ! [V__PART,V__TUMOR] : ((s__instance(V__PART,s__Object) => ((s__instance(V__TUMOR,s__Tumor) & s__part(V__PART,V__TUMOR)) => s__instance(V__PART,s__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 |
| ! [V__H] : ((s__instance(V__H,s__Object) => (s__attribute(V__H,s__Shock) => (? [V__T] : ((s__instance(V__T,s__Tissue) & s__part(V__T,V__H) & ~((? [V__OB] : ((s__instance(V__OB,s__Object) & (s__attribute(V__OB,s__OxygenatedBlood) & s__part(V__OB,V__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 |
| ! [V__AGENT : $i] : ((s__instance(V__AGENT, s__BlisterAgent) => s__hasPurpose(V__AGENT, ( ? [V__DAMAGE:$i, V__TISSUE:$i] : ((s__instance(V__DAMAGE, s__Damaging) & s__instance(V__TISSUE, s__Tissue) & s__patient(V__DAMAGE, V__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 |
|