| Right | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17278-17278 | Right は Left の disjoint では %n |
| (documentation Right ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注： 这是指直接在右边，也就是说如果一个物体在另外一个物体的右边的话，那么这两个物体的投影就会交叠。") | chinese_format.kif 3826-3827 | Right は Left の disjoint では %n |
| (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 17279-17282 | Right は Left の disjoint では %n |
| (instance Right AntiSymmetricPositionalAttribute) | Merge.kif 17277-17277 | Right は AntiSymmetricPositionalAttribute の instance では %n |
| (instance Right PositionalAttribute) | Merge.kif 17276-17276 | Right は 位置属性 の instance では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Right "右") | domainEnglishFormat.kif 50039-50039 | |
| (termFormat ChineseTraditionalLanguage Right "右") | domainEnglishFormat.kif 50038-50038 | |
| (termFormat EnglishLanguage Right "right") | domainEnglishFormat.kif 50037-50037 | |
| (termFormat tg Right "kanan") | terms-tg.txt 537-537 |
| antecedent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17284-17286 | オブジェクト は Right 対 オブジェクト では %n オブジェクト は Left 対 オブジェクト では %n |
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17091-17095 |
| consequent |
|
|
| (=> (and (instance ?MID MiddleCIButton) (component ?MID ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT ?RIGHT) (and (instance ?RIGHT RightCIButton) (instance ?LEFT LeftCIButton) (component ?RIGHT ?DEV) (component ?LEFT ?DEV) (between ?LEFT ?MID ?RIGHT) (orientation ?MID ?LEFT Left) (orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 224-237 |
|
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17091-17095 |
| statement |
|
|
|
|
|