On |
appearance as argument number 1 |
(documentation On ChineseLanguage "这是用来表示一个物体在另外一个物体的上面,这是一个由上/下模式所 衍生和涉及接触的位置关系") | chinese_format.kif 3830-3831 | |
(documentation On EnglishLanguage "This is used to assert that an object is on top of another object, and it is derived from the up/ down schema and involves contact.") | Merge.kif 17213-17215 | |
(externalImage On "http://upload.wikimedia.org/wikipedia/commons/e/e4/Pink_and_grey_galahs_on_power_lines.jpg") | pictureList.kif 10165-10165 | |
(instance On AntiSymmetricPositionalAttribute) | Merge.kif 17212-17212 | On e' uma instancia de AntiSymmetricPositionalAttribute |
appearance as argument number 2 |
(termFormat ChineseLanguage On "上") | domainEnglishFormat.kif 42110-42110 | |
(termFormat ChineseTraditionalLanguage On "上") | domainEnglishFormat.kif 42109-42109 | |
(termFormat EnglishLanguage On "on") | domainEnglishFormat.kif 42108-42108 | |
(termFormat tg On "sa ibabaw") | terms-tg.txt 539-539 |
antecedent |
consequent |