Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Stealing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Stealing UnilateralGetting) | Mid-level-ontology.kif 20498-20498 | Stealing is a subclass of unilateral getting |
| (subclass Stealing CriminalAction) | Mid-level-ontology.kif 20499-20499 | Stealing is a subclass of criminal action |
| (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 20500-20503 | Stealing is a subclass of criminal action |
| (externalImage Stealing "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Fortunes_of_a_Street_Waif.jpg") | pictureList.kif 2001-2001 | Stealing is a subclass of criminal action |
| appearance as argument number 2 |
|
|
| (subclass Robbing Stealing) | Mid-level-ontology.kif 20515-20515 | Robbing is a subclass of stealing |
| (termFormat EnglishLanguage Stealing "stealing") | domainEnglishFormat.kif 55207-55207 | Robbing is a subclass of stealing |
| (termFormat ChineseTraditionalLanguage Stealing "偷竊行為") | domainEnglishFormat.kif 55208-55208 | Robbing is a subclass of stealing |
| (termFormat ChineseLanguage Stealing "偷窃行为") | domainEnglishFormat.kif 55209-55209 | Robbing is a subclass of stealing |
| antecedent |
|
|
| (=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight ?VICTIM ?AGENT (destination ?STEAL ?AGENT)))) |
Mid-level-ontology.kif 20505-20513 | If X is an instance of stealing, X ends up at Y, X originates at Z, and Z is an instance of cognitive agent, then Y doesn't allow X doesn't end up at Y to perform task of the type Z |
| consequent |
|
|
| (=> (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 953-971 | If X is an instance of fuel cap lock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas tank (3) Z is a hole in Y (4) X is connected to Z (5) locked is an attribute of X holds during W decreases likelihood of there exist V (6) U such that V is an instance of stealing (7) U is an instance of fuel (8) U is located at Y (9) U is a patient of V holds during W |
| (=> (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 ?WITNESS) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (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 3578-3618 | If X is an instance of car alarm, Y is an instance of self powered road vehicle, and X is a part of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that X has the purpose Z is an instance of stealing or Z is an instance of damaging (3) W is an instance of human (4) W is an agent of Z (5) Y is a patient of Z (6) equal the time of existence of Z (7) V (8) Z is partly located at Uthere exist T (9) S such that T is an instance of radiating sound (10) X is an agent of T (11) Z causes T (12) T has the purpose S is an instance of human (13) S is near to U holds during V increases likelihood of S knows there exists R such that R is an instance of stealing or R is an instance of damaging (14) R is partly located at U (15) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z |
| (=> (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 |
|
