| Left
| |
| appearance as argument number 1 |
|
|
| (documentation Left ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注：这是 指直接在左边，也就是说如果一个物体在另外一个物体的左边的话，那么这两个物体的投影就会交叠。") | chinese_format.kif 3824-3825 | |
| (documentation Left EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the left, so that, if one object is to the left of another, then the projections of the two objects overlap.") | Merge.kif 17286-17289 | |
| (externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") | pictureList.kif 10092-10092 | |
| (instance Left AntiSymmetricPositionalAttribute) | Merge.kif 17285-17285 | |
| (instance Left PositionalAttribute) | Merge.kif 17284-17284 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17293-17293 | |
| (termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33772-33772 | |
| (termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33771-33771 | |
| (termFormat EnglishLanguage Left "left") | domainEnglishFormat.kif 33770-33770 | |
| (termFormat tg Left "kaliwa") | terms-tg.txt 536-536 |
| antecedent |
|
|
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17106-17110 |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17299-17301 | |
| (=> (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 (instance ?RIGHT PhysicalRightCIButton) (component ?RIGHT ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT) (and (instance ?LEFT PhysicalLeftCIButton) (component ?LEFT ?DEV) (orientation ?RIGHT ?LEFT Left)))) |
ComputerInput.kif 204-213 |
| statement |
|
|
| (subclass LeftArm (BodySideFn Left Arm)) |
Medicine.kif 2859-2859 | |
| (subclass LeftEar (BodySideFn Left Ear)) |
Medicine.kif 2877-2877 | |
| (subclass LeftElbow (BodySideFn Left Elbow)) |
Medicine.kif 2865-2865 | |
| (subclass LeftEye (BodySideFn Left Eye)) |
Medicine.kif 2883-2883 | |
| (subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2925-2925 | |
| (subclass LeftHand (BodySideFn Left Hand)) |
Medicine.kif 2889-2889 | |
| (subclass LeftHip (BodySideFn Left Hip)) |
Medicine.kif 2919-2919 | |
| (subclass LeftKidney (BodySideFn Left Kidney)) |
Medicine.kif 2901-2901 | |
| (subclass LeftKnee (BodySideFn Left Knee)) |
Medicine.kif 2913-2913 | |
| (subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2907-2907 | |
| (subclass LeftLung (BodySideFn Left Lung)) |
Medicine.kif 2895-2895 | |
| (subclass LeftShoulder (BodySideFn Left Shoulder)) |
Medicine.kif 2871-2871 | |
| (subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle))) |
Medicine.kif 2931-2931 |
|
|
|