Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| eventPartlyLocated |
| appearance as argument number 1 |
|
| (instance eventPartlyLocated CaseRole) | Merge.kif 4195-4195 | event partly located is an instance of case role |
| (instance eventPartlyLocated PartialValuedRelation) | Merge.kif 4196-4196 | event partly located is an instance of partial valued relation |
| (domain eventPartlyLocated 1 Process) | Merge.kif 4202-4202 | The number 1 argument of event partly located is an instance of process |
| (domain eventPartlyLocated 2 Object) | Merge.kif 4203-4203 | The number 2 argument of event partly located is an instance of object |
| (documentation eventPartlyLocated EnglishLanguage "(eventPartlyLocated ?PROC ?OBJ) means that some subProcess of Process ?PROC is located in Object ?OBJ.") | Merge.kif 4205-4206 | The number 2 argument of event partly located is an instance of object |
| (subrelation eventPartlyLocated involvedInEvent) | Merge.kif 4223-4223 | event partly located is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| (subrelation eventLocated eventPartlyLocated) | Merge.kif 4225-4225 | event located is a subrelation of event partly located |
| (subrelation path eventPartlyLocated) | Merge.kif 11326-11326 | path is a subrelation of event partly located |
| (format EnglishLanguage eventPartlyLocated "%1 is partly located at %2") | domainEnglishFormat.kif 3326-3326 | path is a subrelation of event partly located |
| (format ChineseTraditionalLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") | domainEnglishFormat.kif 3327-3327 | path is a subrelation of event partly located |
| (format ChineseLanguage eventPartlyLocated "%1 是 partly located 在 %2 ") | domainEnglishFormat.kif 3328-3328 | path is a subrelation of event partly located |
| (termFormat EnglishLanguage eventPartlyLocated "event partly located") | english_format.kif 1847-1847 | path is a subrelation of event partly located |
| antecedent |
|
|
| (=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB)) |
Merge.kif 4198-4200 | If X is partly located at Y, then X is partly located in Y |
| (=> (eventPartlyLocated ?PROC ?OBJ) (exists (?SUB) (and (subProcess ?SUB ?PROC) (eventLocated ?SUB ?OBJ)))) |
Merge.kif 4208-4213 | If X is partly located at Y, then there exists Z such that Z is a subprocess of X and Z is located at Y |
| (=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum))) |
Cars.kif 430-436 | If X is an instance of two stroke intake, Y is an instance of crankcase, and X is partly located at Y, then partial vacuum is an attribute of Y holds during X |
| consequent |
|
|
| (=> (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 |
|