| Right | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17189-17189 | |
| (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 17190-17193 | |
| (instance Right AntiSymmetricPositionalAttribute) | Merge.kif 17188-17188 | |
| (instance Right PositionalAttribute) | Merge.kif 17187-17187 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Right "右") | domainEnglishFormat.kif 50041-50041 | |
| (termFormat ChineseTraditionalLanguage Right "右") | domainEnglishFormat.kif 50040-50040 | |
| (termFormat EnglishLanguage Right "right") | domainEnglishFormat.kif 50039-50039 | |
| (termFormat tg Right "kanan") | terms-tg.txt 537-537 |
| antecedent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17195-17197 | |
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17002-17006 |
| 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 17002-17006 |
| statement |
|
|
| (subclass RightArm (BodySideFn Right Arm)) |
Medicine.kif 2861-2861 | |
| (subclass RightEar (BodySideFn Right Ear)) |
Medicine.kif 2879-2879 | |
| (subclass RightElbow (BodySideFn Right Elbow)) |
Medicine.kif 2867-2867 | |
| (subclass RightElbow (BodySideFn Right Shoulder)) |
Medicine.kif 2873-2873 | |
| (subclass RightEye (BodySideFn Right Eye)) |
Medicine.kif 2885-2885 | |
| (subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2927-2927 | |
| (subclass RightHand (BodySideFn Right Hand)) |
Medicine.kif 2891-2891 | |
| (subclass RightHip (BodySideFn Right Hip)) |
Medicine.kif 2921-2921 | |
| (subclass RightKidney (BodySideFn Right Kidney)) |
Medicine.kif 2903-2903 | |
| (subclass RightKnee (BodySideFn Right Knee)) |
Medicine.kif 2915-2915 | |
| (subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2909-2909 | |
| (subclass RightLung (BodySideFn Right Lung)) |
Medicine.kif 2897-2897 | |
| (subclass RightThigh (BodyAreaFn (BodySideFn Right ThighMuscle))) |
Medicine.kif 2933-2933 |
|
|
|