Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Horizontal(horizontal to) |  | flat, horizontal, horizontality, horizontally, level |
| appearance as argument number 1 |
|
|
| (instance Horizontal PositionalAttribute) | Merge.kif 17394-17394 | Horizontal to is an instance of positional attribute |
| (contraryAttribute Horizontal Vertical) | Merge.kif 17395-17395 | Horizontal to is the opposite of vertical to |
| (documentation Horizontal EnglishLanguage "Attribute used to indicate that an Object is positioned width-wise with respect to another Object.") | Merge.kif 17396-17397 | Horizontal to is the opposite of vertical to |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17399-17401 | X is horizontal to to Y if and only if Y is horizontal to to X |
| (=> (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 |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2)))) |
Weather.kif 3995-4015 | If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of day time (4) V is an instance of looking (5) U is an instance of object (6) U is the color black (7) T is an agent of V (8) U is a patient of V (9) T is horizontal to to U (10) V is located at X (11) the time of existence of V takes place during Y (12) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000.0 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2)))) |
Weather.kif 4017-4038 | If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of night time (4) V is an instance of looking (5) U is an instance of region (6) illuminated is an attribute of U (7) the measure of U is 1000.0 candela(s) (8) T is an agent of V (9) U is a patient of V (10) T is horizontal to to U (11) V is located at X (12) the time of existence of V takes place during Y (13) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17399-17401 | X is horizontal to to Y if and only if Y is horizontal to to X |
| (=> (instance ?A Aileron) (exists (?P ?B) (and (instance ?P Pair) (member ?A ?P) (member ?B ?P) (not (equal ?A ?B)) (orientation ?A ?B Horizontal)))) |
Transportation.kif 3389-3398 | If X is an instance of aileron, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pair (3) X is a member of Y (4) Z is a member of Y (5) equal X (6) Z (7) X is horizontal to to Z |
| (=> (instance ?E FlightElevator) (exists (?P ?F) (and (instance ?P Pair) (member ?E ?P) (member ?F ?P) (not (equal ?E ?F)) (orientation ?E ?F Horizontal)))) |
Transportation.kif 3508-3517 | If X is an instance of flight elevator, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pair (3) X is a member of Y (4) Z is a member of Y (5) equal X (6) Z (7) X is horizontal to to Z |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure)) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?D2 ?Distance))))) |
Weather.kif 3976-3993 | If the visibility at X during Y is Z W(s) and W is an instance of unit of measure, then there don't exist V, U,, , T and S such that V is an instance of looking and U is an agent of V and T is a patient of V and U is horizontal to to T and the time of existence of V takes place during Y and V is located at X and the distance between U and T is S W(s) and S is greater than Z |
|