| appearance as argument number 1 |
|
| (instance direction PartialValuedRelation) | Merge.kif 17134-17134 | direction is an instance of partial valued relation |
| (domain direction 1 Process) | Merge.kif 17135-17135 | The number 1 argument of direction is an instance of process |
| (domain direction 2 PositionalAttribute) | Merge.kif 17136-17136 | The number 2 argument of direction is an instance of positional attribute |
| (subrelation direction involvedInEvent) | Merge.kif 17137-17137 | 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 17138-17141 | 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 17143-17148 | 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 3377-3398 | 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 3496-3512 | 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 3607-3618 | 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 3620-3631 | 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 2975-2996 | 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 17143-17148 | 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 20060-20094 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners