Above(above)![]() ![]() ![]() | ![]() | above, elevated, higher_up, in_a_higher_place, lifted, main_deck, overhead, raised, royal, royal_mast, second_deck, superstructure, supra, to_a_higher_place, up, upper, upper_berth, upper_deck, upraised |
appearance as argument number 1 |
![]() |
(contraryAttribute Above Below) | Merge.kif 17043-17043 | Above is the opposite of below |
(documentation Above ChineseLanguage "这是一个由上/下模式所衍生和非接触的 PositionalAttribute。 注:这是指直接在上面,也就是说如果一个物体在另外一个物体的 Above 的话,那么这两个物体的投影就会交叠。") | chinese_format.kif 3817-3818 | |
(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 17044-17047 | |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/6/62/ Herodium_from_above.jpg") | pictureList.kif 10352-10352 | |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/8/89/ ATLAS_Above.jpg") | pictureList.kif 10351-10351 | |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Above_the_clouds.jpg") | pictureList.kif 10353-10353 | |
(instance Above AntiSymmetricPositionalAttribute) | Merge.kif 17042-17042 | Above is an instance of anti-symmetric positional attribute |
(instance Above PositionalAttribute) | Merge.kif 17041-17041 | Above is an instance of positional attribute |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Above "以上") | domainEnglishFormat.kif 5100-5100 | |
(termFormat ChineseTraditionalLanguage Above "以上") | domainEnglishFormat.kif 5099-5099 | |
(termFormat EnglishLanguage Above "above") | domainEnglishFormat.kif 5098-5098 | |
(termFormat tg Above "sa itaas") | terms-tg.txt 533-533 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |