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 15948-15951 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg") | pictureList.kif 10534-10534 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower-crane-below.jpg") | pictureList.kif 10532-10532 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg") | pictureList.kif 10535-10535 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG") | pictureList.kif 10529-10529 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG") | pictureList.kif 10536-10536 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg") | pictureList.kif 9924-9924 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg") | pictureList.kif 10531-10531 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG") | pictureList.kif 10533-10533 | |
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG") | pictureList.kif 10530-10530 | |
(instance Below AntiSymmetricPositionalAttribute) | Merge.kif 15947-15947 | instance Below and AntiSymmetricPositionalAttribute |
(instance Below PositionalAttribute) | Merge.kif 15946-15946 | instance Below and PositionalAttribute |
appearance as argument number 2 |
![]() |
(contraryAttribute Above Below) | Merge.kif 15935-15935 | contraryAttribute Above and Below |
(termFormat ChineseLanguage Below "下面") | domainEnglishFormat.kif 10721-10721 | |
(termFormat ChineseTraditionalLanguage Below "下面") | domainEnglishFormat.kif 10720-10720 | |
(termFormat EnglishLanguage Below "below") | domainEnglishFormat.kif 10719-10719 |
antecedent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 15953-15957 | orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above |
(=> (and (instance ?place UndergroundArea) (earthAltitude ?place ?alt1) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area ?alt2)) (greaterThan ?alt2 ?alt1)) |
Geography.kif 3794-3802 |
consequent |
![]() |
![]() |
![]() |