| SelfPoweredRoadVehicle(self powered road vehicle) | | cycle_rickshaw, pedicab, tricycle, trike, velocipede |
| appearance as argument number 1 |
|
|
| (subclass SelfPoweredRoadVehicle RoadVehicle) | Transportation.kif 1958-1958 | Self powered road vehicle is a subclass of road vehicle |
| (subclass SelfPoweredRoadVehicle PoweredVehicle) | Transportation.kif 1959-1959 | Self powered road vehicle is a subclass of powered vehicle |
| (documentation SelfPoweredRoadVehicle EnglishLanguage "SelfPoweredRoadVehicle is the class of RoadVehicles that are also PoweredVehicles. SelfPoweredRoadVehicle covers motorcycles, semi_trailers, RVs, etc., as well as Automobiles. This class includes vehicles powered by electricity, gasoline, diesel, and other fuels.") | Transportation.kif 1960-1964 | Self powered road vehicle is a subclass of powered vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 3788-3829 | 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 exists T such that T is an instance of radiating sound (9) X is an agent of T (10) Z causes T (11) T has the purpose there exists S such that S is an instance of human (12) 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 (13) R is partly located at U (14) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z |
|
|
|