Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Killing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Killing Destruction) | Merge.kif 12577-12577 | Killing is a subclass of destruction |
| (documentation Killing EnglishLanguage "The subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both cases.") | Merge.kif 12578-12580 | Killing is a subclass of destruction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12582-12589 | If X is an instance of killing, Y is an agent of X, and Z is a patient of X, then Y is an instance of organism and Z is an instance of organism |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12591-12597 | If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH)))) |
Merge.kif 12599-12607 | If X is an instance of killing and Y is a patient of X, then there exists Z such that Z is an instance of death, Y experiences Z, and X causes Z |
| consequent |
|
|
| (=> (instance ?O Organism) (capability Killing agent ?O)) |
Merge.kif 12609-12611 | If X is an instance of organism, then X is capable of doing killing as a agent |
| (=> (instance ?O Organism) (capability Killing patient ?O)) |
Merge.kif 12613-12615 | If X is an instance of organism, then X is capable of doing killing as a patient |
| (=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 13200-13210 | If X is an instance of hunting and Y is a patient of X, then X has the purpose there exists Z such that Y is a patient of Z and Z is an instance of confining or Z is an instance of killing |
| (=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1684-1703 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument |
| (=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K ?B ?TOOTH) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH))))) |
Mid-level-ontology.kif 2825-2835 | If X is an instance of toothbrush, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of tooth (3) X is an instrument for Y (4) Y is an instance of killing (5) Z is an instance of bacterium (6) Z is a patient of Y (7) W is a patient of Y |
| (=> (instance ?SE ShrapnelExplosion) (hasPurpose ?SE (exists (?P) (and (or (instance ?P Injuring) (instance ?P Killing)) (causes ?SE ?P))))) |
Medicine.kif 6321-6329 | If X is an instance of shrapnel explosion, then X has the purpose there exists Y such that Y is an instance of injuring or Y is an instance of killing and X causes Y |
| (=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT)) |
WMD.kif 1009-1011 | If X is an instance of life threatening agent, then X is capable of doing killing as a instrument |
| (=> (instance ?ANTIBIOTIC Antibiotic) (exists (?KILL ?BACTERIUM) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))) |
WMD.kif 1260-1268 | If X is an instance of antibiotic, then there exist Y and Z such that X is capable of doing the class described by Y as a agent |
| (=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 44-66 | If X is an instance of organization and agriculture forestry fishing and hunting is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Z is an agent of Y (4) there exist W, V (5) U such that Y is an instance of killing or Y is an instance of maintaining (6) W is a patient of Y (7) W is an instance of animal or W is an instance of plant (8) W is not an instance of human (9) U is a member of X (10) V is an instance of selling (11) U is an agent of V (12) W is a patient of V |
|