| Left(left)
| | dexter, larboard, left, left-hand, left_stage, near, nigh, port, sinister, sinistral, sinistrorsal, sinistrorse, stage_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 16837-16840 | |
| (externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") | pictureList.kif 10103-10103 | |
| (instance Left AntiSymmetricPositionalAttribute) | Merge.kif 16836-16836 | Left is an instance of AntiSymmetricPositionalAttribute |
| (instance Left PositionalAttribute) | Merge.kif 16835-16835 | Left is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Right Left) | Merge.kif 16844-16844 | Right is the opposite of left |
| (termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33744-33744 | |
| (termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33743-33743 | |
| (termFormat EnglishLanguage Left "left") | domainEnglishFormat.kif 33742-33742 |
| antecedent |
|
|
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 16656-16660 |
|
| consequent |
|
|
|
|
|