(=>
(origin ?PROCESS ?LOC)
(eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4215-4217 |
If X originates at Y, then X is partly located at Y |
(=>
(destination ?PROCESS ?LOC)
(eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4219-4221 |
If X ends up at Y, then X is partly located at Y |
(=>
(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 |
(=>
(and
(surfaceWindVelocity ?PLACE
(SpeedFn ?DIST ?TIME) ?DIRECTION)
(instance ?PLACE WindFlow))
(exists (?BLOW)
(and
(instance ?BLOW Wind)
(eventPartlyLocated ?BLOW ?PLACE)
(measure ?BLOW
(VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))))) |
Weather.kif 115-123 |
If X is surface wind velocity Y per Z for W and X is an instance of wind flow, then there exists V such that V is an instance of wind, V is partly located at X, and the measure of V is Y per Z in X in the direction W |
(=>
(surfaceWindDirection ?PLACE ?DIR)
(exists (?WIND ?FROM)
(and
(instance ?WIND Wind)
(instance ?FROM Region)
(eventPartlyLocated ?WIND ?PLACE)
(origin ?WIND ?FROM)
(orientation ?FROM ?PLACE ?DIR)))) |
Weather.kif 166-174 |
If X is a surface wind direction of Y, then there exist Z, W such that Z is an instance of wind, W is an instance of region, Z is partly located at Y, Z originates at W, and W is X to Y |
