Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| direction |
| appearance as argument number 1 |
|
| (instance direction PartialValuedRelation) | Merge.kif 17291-17291 | direction is an instance of partial valued relation |
| (domain direction 1 Process) | Merge.kif 17292-17292 | The number 1 argument of direction is an instance of process |
| (domain direction 2 PositionalAttribute) | Merge.kif 17293-17293 | The number 2 argument of direction is an instance of positional attribute |
| (subrelation direction involvedInEvent) | Merge.kif 17294-17294 | direction is a subrelation of involved in event |
| (documentation direction EnglishLanguage "(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North.") | Merge.kif 17295-17298 | direction is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage direction "direction") | domainEnglishFormat.kif 19686-19686 | |
| (termFormat ChineseTraditionalLanguage direction "方向") | domainEnglishFormat.kif 19687-19687 | |
| (termFormat ChineseLanguage direction "方向") | domainEnglishFormat.kif 19688-19688 | |
| (format EnglishLanguage direction "entities in the process %1 are %n moving %2") | english_format.kif 592-592 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 17300-17305 | If entities in the process X are moving Y holds during Z, then For all Entity W: if entities in the process X are moving W holds during Z, then equal W and Y |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P Aileron) (member ?LA ?P) (instance ?M1 Motion) (moves ?M1 ?LA) (direction ?M1 ?DIR1) (member ?RA ?P) (instance ?M2 Motion) (not (equal ?M1 ?M2)) (moves ?M2 ?RA) (direction ?M2 ?DIR2) (not (exists (?L) (and (instance ?L Landing) (patient ?L ?F))))) (oppositeDirection ?DIR1 ?DIR2)) |
Transportation.kif 3416-3437 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) aileron is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S (14) there doesn't exist R such that R is an instance of landing and Y is a patient of R, then S is an opposite direction of V |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?LE ?P) (instance ?M1 Motion) (moves ?M1 ?LE) (direction ?M1 ?DIR1) (member ?RE ?P) (instance ?M2 Motion) (not (equal ?M1 ?M2)) (moves ?M2 ?RE) (direction ?M2 ?DIR2)) (equal ?DIR1 ?DIR2)) |
Transportation.kif 3535-3551 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S, then equal V and S |
| (=> (and (instance ?M Motion) (moves ?M ?R) (instance ?R FlightRudder) (part ?R ?P) (instance ?P Airplane) (direction ?M Right)) (exists (?X) (and (yaw ?P (MeasureFn ?X AngularDegree)) (greaterThan ?X 0)))) |
Transportation.kif 3646-3657 | If All of the following hold: (1) X is an instance of motion (2) Y moves during X (3) Y is an instance of flight rudder (4) Y is a part of Z (5) Z is an instance of airplane (6) entities in the process X are moving right of, then there exists W such that Z is heading at W angular degree(s) of its longitudinalAxis. and W is greater than 0 |
| (=> (and (instance ?M Motion) (moves ?M ?R) (instance ?R FlightRudder) (part ?R ?P) (instance ?P Airplane) (direction ?M Left)) (exists (?X) (and (yaw ?P (MeasureFn ?X AngularDegree)) (lessThan ?X 0)))) |
Transportation.kif 3659-3670 | If All of the following hold: (1) X is an instance of motion (2) Y moves during X (3) Y is an instance of flight rudder (4) Y is a part of Z (5) Z is an instance of airplane (6) entities in the process X are moving left of, then there exists W such that Z is heading at W angular degree(s) of its longitudinalAxis. and W is less than 0 |
| (=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 2960-2981 | If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
| consequent |
|
|
| (=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 17300-17305 | If entities in the process X are moving Y holds during Z, then For all Entity W: if entities in the process X are moving W holds during Z, then equal W and Y |
| (=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 20084-20118 | If X is an instance of saw, Y is an instance of cutting, X is an instrument for Y, Z is an instance of object, and Z is a patient of Y, then there exist W, V,, , U,, , T,, , S,, , R and Q such that W is an instance of motion and W is a subprocess of Y and Q is an instance of cutting device and Q is a part of X and Q meets Z and Q is a patient of W and R is an instance of timeframe and R is an instance of timeframe and equal the time of existence of W and T and T is a part of S and T is a part of R and V is an instance of directional attribute and U is an instance of directional attribute and entities in the process W are moving V holds during Sentities in the process W are moving U and equal V and U or U is an opposite direction of V and ~{ equal V and U } or ~{ U is an opposite direction of V } holds during R |
|