| Right(right) | | dextral, dextrorsal, dextrorse, far, right, right-hand, right-side-out, right-side-up, right_stage, stage_right, starboard |
| appearance as argument number 1 |
|
|
| (contraryAttribute Right Left) | Merge.kif 16837-16837 | Right is the opposite of 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 16838-16841 | |
| (instance Right AntiSymmetricPositionalAttribute) | Merge.kif 16836-16836 | Right is an instance of AntiSymmetricPositionalAttribute |
| (instance Right PositionalAttribute) | Merge.kif 16835-16835 | Right is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Right "右") | domainEnglishFormat.kif 49989-49989 | |
| (termFormat ChineseTraditionalLanguage Right "右") | domainEnglishFormat.kif 49988-49988 | |
| (termFormat EnglishLanguage Right "right") | domainEnglishFormat.kif 49987-49987 |
| antecedent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 16843-16845 | An object is right to another object if and only if the other object is left to the object |
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 16649-16653 |
|
| consequent |
|
|
|
|
|