Stealing
|
|
appearance as argument number 1 |
(documentation Stealing EnglishLanguage "Any UnilateralGetting which is not permitted by the origin of the UnilateralGetting. These cases of UnilateralGetting are distinguished from ones where the destination is the subject of charity or other forms of benefaction.") | Mid-level-ontology.kif 18608-18611 | |
(externalImage Stealing "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Fortunes_of_a_Street_Waif.jpg") | pictureList.kif 2002-2002 | |
(subclass Stealing CriminalAction) | Mid-level-ontology.kif 18607-18607 | Stealing ist eine teilkategorie von CriminalAction |
(subclass Stealing UnilateralGetting) | Mid-level-ontology.kif 18606-18606 | Stealing ist eine teilkategorie von UnilateralGetting |
appearance as argument number 2 |
(subclass Robbing Stealing) | Mid-level-ontology.kif 18623-18623 | Robbing ist eine teilkategorie von Stealing |
(termFormat ChineseLanguage Stealing "偷窃行为") | domainEnglishFormat.kif 55214-55214 | |
(termFormat ChineseTraditionalLanguage Stealing "偷竊行為") | domainEnglishFormat.kif 55213-55213 | |
(termFormat EnglishLanguage Stealing "stealing") | domainEnglishFormat.kif 55212-55212 |
antecedent |
(=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight (destination ?STEAL ?AGENT) ?VICTIM ?AGENT))) |
Mid-level-ontology.kif 18613-18621 |
|
consequent |
(=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM))))))))))) |
Cars.kif 3695-3736 |
|
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 1016-1034 |
|
(=> (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 3979-3997 |
|