Below![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Below ChineseLanguage "这是一个由上/下模式所衍生的 PositionalAttribute,而两者 有可能但也不可能有接触。注:这是指直接在下面,也就是说如果一个物体在另外一个物体的 Below 的话, 那么这两个物体的投影就会交叠。") | chinese_format.kif 3819-3821 | |
(documentation Below EnglishLanguage "This PositionalAttribute is derived from the up/ down schema and may or may not involve contact. Note that this means directly below, i.e., if one object is Below another object, then the projections of the two objects overlap.") | Merge.kif 17246-17249 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg") | pictureList.kif 10511-10511 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower_crane_below.jpg") | pictureList.kif 10509-10509 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg") | pictureList.kif 10512-10512 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG") | pictureList.kif 10506-10506 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG") | pictureList.kif 10513-10513 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg") | pictureList.kif 9905-9905 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg") | pictureList.kif 10508-10508 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG") | pictureList.kif 10510-10510 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG") | pictureList.kif 10507-10507 | |
(instance Below AntiSymmetricPositionalAttribute) | Merge.kif 17245-17245 | Below est une instance de AntiSymmetricPositionalAttribute |
(instance Below PositionalAttribute) | Merge.kif 17244-17244 | Below est une instance de attribut positionnel |
appearance as argument number 2 |
![]() |
(contraryAttribute Above Below) | Merge.kif 17233-17233 | Above est l'oppos� de Below |
(termFormat ChineseLanguage Below "下面") | domainEnglishFormat.kif 10710-10710 | Above est l'oppos� de Below |
(termFormat ChineseTraditionalLanguage Below "下面") | domainEnglishFormat.kif 10709-10709 | Above est l'oppos� de Below |
(termFormat EnglishLanguage Below "below") | domainEnglishFormat.kif 10708-10708 | Above est l'oppos� de Below |
(termFormat tg Below "sa ibaba") | terms-tg.txt 534-534 | Above est l'oppos� de Below |
antecedent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17251-17255 | Objet est Below � objet objet est On � objet objet est Above � objet |
(=> (and (instance ?place UndergroundArea) (instance ?U UnitOfLength) (earthAltitude ?place (MeasureFn ?alt1 ?U)) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area (MeasureFn ?alt2 ?U))) (greaterThan ?alt2 ?alt1)) |
Geography.kif 4069-4080 |
|
consequent |
![]() |
![]() |
![]() |