Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| oppositeDirection |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage oppositeDirection "%2 is %n an opposite direction of %1") | domainEnglishFormat.kif 1849-1849 | |
| (format ChineseTraditionalLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1850-1850 | |
| (format ChineseLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") | domainEnglishFormat.kif 1851-1851 | |
| (termFormat EnglishLanguage oppositeDirection "opposite direction") | domainEnglishFormat.kif 42323-42323 | |
| (termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42324-42324 | |
| (termFormat ChineseLanguage oppositeDirection "相反的方向") | domainEnglishFormat.kif 42325-42325 |
| antecedent |
|
|
| (=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR)) |
Mid-level-ontology.kif 20070-20075 | If X is Y to Z, Y is an instance of positional attribute, and W is an opposite direction of Y, then Z is W to X |
| (=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 20077-20079 | If X is an opposite direction of Y, then Y is the opposite of X |
| (=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR_TOWARD) (oppositeDirection ?DIR_TOWARD ?DIR_FROM)) (surfaceWindDirection ?PLACE ?DIR_FROM)) |
Weather.kif 176-180 | If X is surface wind velocity Y for ?DIR_TOWARD and ?DIR_FROM is an opposite direction of ?DIR_TOWARD, then ?DIR_FROM is a surface wind direction of X |
| (=> (and (instance ?ZEPHYR WindFlow) (measure ?ZEPHYR (VelocityFn ?DIST ?TIME ?PLACE ?DIR_TOWARD)) (oppositeDirection ?DIR_TOWARD ?DIR_FROM)) (surfaceWindDirection ?PLACE ?DIR_FROM)) |
Weather.kif 182-187 | If X is an instance of wind flow, the measure of X is Y per Z in W in the direction ?DIR_TOWARD, and ?DIR_FROM is an opposite direction of ?DIR_TOWARD, then ?DIR_FROM is a surface wind direction of W |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
| appearance as argument number 0 |
|
|
| (oppositeDirection North South) | Mid-level-ontology.kif 20067-20067 | South of is an opposite direction of north of |
| (oppositeDirection East West) | Mid-level-ontology.kif 20068-20068 | West of is an opposite direction of east of |
| (oppositeDirection Upstream Downstream) | Mid-level-ontology.kif 32373-32373 | Downstream from is an opposite direction of upstream from |
| (oppositeDirection Northeast Southwest) | Geography.kif 5099-5099 | Southwest of is an opposite direction of northeast of |
| (oppositeDirection Northwest Southeast) | Geography.kif 5111-5111 | Southeast of is an opposite direction of northwest of |
|