eventPartlyLocated |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") | domainEnglishFormat.kif 3330-3330 | |
(format ChineseTraditionalLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") | domainEnglishFormat.kif 3329-3329 | |
(format EnglishLanguage eventPartlyLocated "%1 is partly located at %2") | domainEnglishFormat.kif 3328-3328 | |
(subrelation eventLocated eventPartlyLocated) | Merge.kif 4119-4119 | eventLocated は eventPartlyLocated の subrelation では %n |
(subrelation path eventPartlyLocated) | Merge.kif 11074-11074 | path は eventPartlyLocated の subrelation では %n |
(termFormat EnglishLanguage eventPartlyLocated "event partly located") | english_format.kif 1843-1843 |
antecedent |
(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum))) |
Cars.kif 477-483 |
|
(=> (eventPartlyLocated ?PROC ?OBJ) (exists (?SUB) (and (subProcess ?SUB ?PROC) (eventLocated ?SUB ?OBJ)))) |
Merge.kif 4102-4107 |
|
(=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB)) |
Merge.kif 4092-4094 |
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 3710-3751 |
|
(=> (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 | |
(=> (destination ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4113-4115 | |
(=> (origin ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4109-4111 | |
(=> (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 178-186 |