Above![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Above Below) | Merge.kif 17248-17248 | Above は Below の disjoint では |
(documentation Above ChineseLanguage "这是一个由上/下模式所衍生和非接触的 PositionalAttribute。 注:这是指直接在上面,也就是说如果一个物体在另外一个物体的 Above 的话,那么这两个物体的投影就会交叠。") | chinese_format.kif 3817-3818 | Above は Below の disjoint では |
(documentation Above EnglishLanguage "This is a PositionalAttribute derived from the up/ down schema and not involving contact. Note that this means directly above, i.e., if one object is Above another object, then the projections of the two objects overlap.") | Merge.kif 17249-17252 | Above は Below の disjoint では |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/6/62/ Herodium_from_above.jpg") | pictureList.kif 10348-10348 | Above は Below の disjoint では |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/8/89/ ATLAS_Above.jpg") | pictureList.kif 10347-10347 | Above は Below の disjoint では |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Above_the_clouds.jpg") | pictureList.kif 10349-10349 | Above は Below の disjoint では |
(instance Above AntiSymmetricPositionalAttribute) | Merge.kif 17247-17247 | Above は AntiSymmetricPositionalAttribute の instance では |
(instance Above PositionalAttribute) | Merge.kif 17246-17246 | Above は 位置属性 の instance では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Above "以上") | domainEnglishFormat.kif 5109-5109 | |
(termFormat ChineseTraditionalLanguage Above "以上") | domainEnglishFormat.kif 5108-5108 | |
(termFormat EnglishLanguage Above "above") | domainEnglishFormat.kif 5107-5107 | |
(termFormat tg Above "sa itaas") | terms-tg.txt 533-533 |
antecedent |
![]() |
consequent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17266-17270 | オブジェクト は Below 対 オブジェクト では オブジェクト は On 対 オブジェクト では オブジェクト は Above 対 オブジェクト では |
(=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (orientation ?OBJ1 ?OBJ2 Above)) |
Merge.kif 7796-7798 | |
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9853-9858 |
|
(=> (and (instance ?E Eyebrow) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?E ?EYE Above)))) |
Anatomy.kif 1504-1516 | |
(=> (and (instance ?F Forehead) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?F ?EYE Above)))) |
Anatomy.kif 1523-1535 | |
(=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above)) |
Geography.kif 5864-5873 |
|
(=> (and (instance ?STEM PlantStem) (instance ?ROOT PlantRoot)) (modalAttribute (orientation ?STEM ?ROOT Above) Likely)) |
Mid-level-ontology.kif 10868-10873 | |
(=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above)))) |
Geography.kif 4528-4537 | |
(=> (attribute ?X LoftStyle) (exists (?FLOOR ?LOFT ?CEILING) (and (bottom ?FLOOR ?X) (top ?CEILING ?X) (instance ?LOFT StationaryArtifact) (orientation ?LOFT ?FLOOR Above) (orientation ?LOFT ?CEILING Below)))) |
Hotel.kif 1165-1173 |
|
(=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above))))) |
Mid-level-ontology.kif 32234-32241 | |
(=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater)))))) |
Transportation.kif 1752-1762 | |
(=> (instance ?BALCONY Balcony) (exists (?WALL ?LANDAREA) (and (meetsSpatially ?WALL ?BALCONY) (instance ?LANDAREA LandArea) (located ?WALL ?LANDAREA) (orientation ?BALCONY ?LANDAREA Above)))) |
Mid-level-ontology.kif 16758-16765 | |
(=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above)))) |
Mid-level-ontology.kif 2500-2509 | |
(=> (instance ?X BunkBed) (exists (?BED1 ?BED2) (and (instance ?BED1 SingleBed) (instance ?BED2 SingleBed) (part ?BED1 ?X) (part ?BED2 ?X) (orientation ?BED1 ?BED2 Above)))) |
Mid-level-ontology.kif 4321-4329 | |
(=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above))))) |
Mid-level-ontology.kif 4401-4412 | |
(=> (orientation ?OBJ1 ?OBJ2 Upstairs) (exists (?LEVEL1 ?LEVEL2 ?BUILDING) (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING) (located ?OBJ1 ?LEVEL1) (located ?OBJ2 ?LEVEL2) (orientation ?LEVEL1 ?LEVEL2 Above)))) |
Mid-level-ontology.kif 20791-20802 |
![]() |
![]() |