Above |
appearance as argument number 1 |
(contraryAttribute Above Below) | Merge.kif 17144-17144 | Above est l'oppos� de 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 17145-17148 | |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/6/62/ Herodium_from_above.jpg") | pictureList.kif 10350-10350 | |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/8/89/ ATLAS_Above.jpg") | pictureList.kif 10349-10349 | |
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Above_the_clouds.jpg") | pictureList.kif 10351-10351 | |
(instance Above AntiSymmetricPositionalAttribute) | Merge.kif 17143-17143 | Above est une instance de AntiSymmetricPositionalAttribute |
(instance Above PositionalAttribute) | Merge.kif 17142-17142 | Above est une instance de attribut positionnel |
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 |