Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Destruction
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Destruction Damaging) | Merge.kif 12562-12562 | Destruction is a subclass of damaging |
| (documentation Destruction EnglishLanguage "The subclass of Damagings in which the patient (or an essential element of the patient) is destroyed. Note that the difference between this concept and its superclass is solely one of extent.") | Merge.kif 12563-12566 | Destruction is a subclass of damaging |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (BeginFn (WhenFn ?PROCESS))) (not (time ?PATIENT (EndFn (WhenFn ?PROCESS))))))) |
Merge.kif 12568-12575 | If X is an instance of destruction, then there exists Y such that Y is a patient of X, Y exists during the beginning of the time of existence of X, and Y doesn't exist during the end of the time of existence of X |
| consequent |
|
|
| (=> (instance ?BODY Antibody) (hasPurpose ?BODY (exists (?DEST ?ANTI) (and (instance ?DEST Destruction) (agent ?DEST ?BODY) (patient ?DEST ?ANTI) (instance ?ANTI Antigen))))) |
Mid-level-ontology.kif 11095-11103 | If X is an instance of antibody, then X has the purpose there exist Y, Z such that Y is an instance of destruction, X is an agent of Y, Z is a patient of Y, and Z is an instance of antigen |
| (=> (and (instance ?S Stroke) (instance ?B Brain) (located ?S ?B)) (exists (?N ?D) (and (instance ?N NerveCell) (located ?N ?B) (instance ?D Destruction) (subProcess ?D ?S) (patient ?D ?N)))) |
Mid-level-ontology.kif 13434-13445 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then there exist Z, W such that Z is an instance of nerve cell, Z is located at Y, W is an instance of destruction, W is a subprocess of X, and Z is a patient of W |
| (=> (and (instance ?AI AutoImmuneDisorder) (experiencer ?AI ?H)) (exists (?A ?D ?C) (and (instance ?A Antibody) (part ?A ?H) (instance ?C Cell) (part ?C ?H) (instance ?D Destruction) (instrument ?D ?A) (not (desires ?H (and (instance ?D Destruction) (instrument ?D ?A))))))) |
Medicine.kif 2206-2222 | If X is an instance of auto-immune disease and Y experiences X, then there exist Z, W and V such that Z is an instance of antibody and Z is a part of Y and V is an instance of cell and V is a part of Y and W is an instance of destruction and Z is an instrument for W and Y doesn't desire ~{ W is an instance of destruction } or ~{ Z is an instrument for W } |
| (=> (instance ?I Interleukin) (hasPurpose ?I (exists (?D ?BV ?H) (and (instance ?H Human) (or (instance ?BV Bacteria) (instance ?BV Virus)) (instance ?D Destruction) (located ?D ?H) (instrument ?D ?I) (patient ?D ?BV))))) |
Medicine.kif 3784-3796 | If X is an instance of Interleukin, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of human (3) Z is an instance of Bacteria or Z is an instance of virus (4) Y is an instance of destruction (5) Y is located at W (6) X is an instrument for Y (7) Z is a patient of Y |
| (=> (instance ?W AntiAircraftWarfare) (hasPurpose ?W (exists (?D ?A) (and (instance ?D Discovering) (patient ?D ?A) (instance ?A Aircraft) (attribute ?A Enemy) (hasPurpose ?D (exists (?E) (and (instance ?E Destruction) (patient ?E ?A)))))))) |
Military.kif 368-381 | If X is an instance of anti-aircrraft warfare, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of discovering (3) Z is a patient of Y (4) Z is an instance of aircraft (5) enemy is an attribute of Z (6) Y has the purpose there exists W such that W is an instance of destruction (7) Z is a patient of W |
| (=> (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (exists (?PROCESS) (and (subProcess ?PROCESS ?DISMANTLE) (or (instance ?PROCESS Destruction) (instance ?PROCESS Removing))))) |
WMD.kif 736-743 | If X is an instance of dismantling weapon of mass destruction, then there exists Y such that Y is a subprocess of X and Y is an instance of destruction or Y is an instance of removing |
|