Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Protecting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Protecting Maintaining) | Mid-level-ontology.kif 20322-20322 | Protecting is a subclass of maintaining |
| (documentation Protecting EnglishLanguage "An IntentionalProcess which purpose is to decrease likelihood of Damaging or CriminalAction done to the patient of the Process.") | Mid-level-ontology.kif 20323-20324 | Protecting is a subclass of maintaining |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Protecting "protecting") | domainEnglishFormat.kif 65369-65369 |
| antecedent |
|
|
| (=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20326-20347 | If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V |
| consequent |
|
|
| (=> (instance ?S Shield) (hasPurpose ?S (exists (?P ?H ?I) (and (instance ?P Protecting) (instrument ?P ?S) (instance ?H Human) (patient ?P ?H) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (exists (?W) (and (instance ?W Weapon) (instrument ?I ?W))) (=> (patient ?I ?H) (not (patient ?P ?H)))))))))) |
Mid-level-ontology.kif 1758-1778 | If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W |
| (=> (instance ?X SteeringColumnLock) (hasPurpose ?X (exists (?SC ?P ?CAR ?T) (and (instance ?SC SteeringColumn) (instance ?CAR Automobile) (component ?SC ?CAR) (part ?X ?SC) (instance ?P Protecting) (instrument ?P ?X) (decreasesLikelihood (holdsDuring ?T (attribute ?X Locked)) (holdsDuring ?T (exists (?STEAL) (and (instance ?STEAL Stealing) (patient ?STEAL ?CAR))))))))) |
Cars.kif 3864-3882 | If X is an instance of steering column lock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of steering column (3) W is an instance of automobile (4) Y is a component of W (5) X is a part of Y (6) Z is an instance of protecting (7) X is an instrument for Z (8) locked is an attribute of X holds during V decreases likelihood of there exists U such that U is an instance of stealing (9) W is a patient of U holds during V |
| (=> (instance ?D Destroyer) (hasPurpose ?D (exists (?P ?F) (and (instance ?P Protecting) (instrument ?P ?D) (patient ?P ?F) (instance ?F Fleet) (memberType ?F MilitaryWaterVehicle) (capability ViolentContest instrument ?D))))) |
Military.kif 309-319 | If X is an instance of Destroyer, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of protecting (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of Fleet (6) military water vehicle is a member type of Z (7) X is capable of doing violent contest as a instrument |
|