Protecting | ![]() |
appearance as argument number 1 |
![]() |
(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 19989-19990 | |
(subclass Protecting Maintaining) | Mid-level-ontology.kif 19988-19988 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Protecting "protecting") | domainEnglishFormat.kif 65360-65360 |
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 19992-20013 |
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 1689-1709 | |
(=> (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 4055-4073 |
![]() |
![]() |