|
|
  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 16962-16965 | |
| (externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") | pictureList.kif 10103-10103 | |
| (instance Left AntiSymmetricPositionalAttribute) | Merge.kif 16961-16961 | |
| (instance Left PositionalAttribute) | Merge.kif 16960-16960 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Right Left) | Merge.kif 16969-16969 | |
| (termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33739-33739 | |
| (termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33738-33738 | |
| (termFormat EnglishLanguage Left "left") | domainEnglishFormat.kif 33737-33737 |
| antecedent |
|
|
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 16781-16785 |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 16975-16977 | |
| (=> (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 |
|
|
|
