| Right | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17088-17088 | Right est l'oppos� de Left |
| (documentation Right ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注： 这是指直接在右边，也就是说如果一个物体在另外一个物体的右边的话，那么这两个物体的投影就会交叠。") | chinese_format.kif 3826-3827 | |
| (documentation Right EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the right, so that, if one object is to the right of another, then the projections of the two objects overlap.") | Merge.kif 17089-17092 | |
| (instance Right AntiSymmetricPositionalAttribute) | Merge.kif 17087-17087 | Right est une instance de AntiSymmetricPositionalAttribute |
| (instance Right PositionalAttribute) | Merge.kif 17086-17086 | Right est une instance de attribut positionnel |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Right "右") | domainEnglishFormat.kif 50018-50018 | |
| (termFormat ChineseTraditionalLanguage Right "右") | domainEnglishFormat.kif 50017-50017 | |
| (termFormat EnglishLanguage Right "right") | domainEnglishFormat.kif 50016-50016 | |
| (termFormat tg Right "kanan") | terms-tg.txt 537-537 |
| antecedent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17094-17096 | Objet est Right � objet objet est Left � objet |
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 16901-16905 |
| consequent |
|
|
| statement |
|
|
|
|
|