Right
|
|
appearance as argument number 1 |
(contraryAttribute Right Left) | Merge.kif 17140-17140 | Right è opposto a 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 17141-17144 | |
(instance Right AntiSymmetricPositionalAttribute) | Merge.kif 17139-17139 | Right è un' istanza di AntiSymmetricPositionalAttribute |
(instance Right PositionalAttribute) | Merge.kif 17138-17138 | Right è un' istanza di AttributoPosizionale |
appearance as argument number 2 |
(termFormat ChineseLanguage Right "右") | domainEnglishFormat.kif 50006-50006 | |
(termFormat ChineseTraditionalLanguage Right "右") | domainEnglishFormat.kif 50005-50005 | |
(termFormat EnglishLanguage Right "right") | domainEnglishFormat.kif 50004-50004 | |
(termFormat tg Right "kanan") | terms-tg.txt 537-537 |
antecedent |
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17146-17148 | Oggetto è Right a Oggetto Oggetto è Left a Oggetto |
(=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 16953-16957 |
consequent |
statement |