| 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 17271-17274 | |
| (externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") | pictureList.kif 10092-10092 | |
| (instance Left AntiSymmetricPositionalAttribute) | Merge.kif 17270-17270 | Left is an instance of anti_symmetric positional attribute |
| (instance Left PositionalAttribute) | Merge.kif 17269-17269 | Left is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17278-17278 | Right is the opposite of left |
| (termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33789-33789 | Right is the opposite of left |
| (termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33788-33788 | Right is the opposite of left |
| (termFormat EnglishLanguage Left "left") | domainEnglishFormat.kif 33787-33787 | Right is the opposite of left |
| (termFormat tg Left "kaliwa") | terms-tg.txt 536-536 | Right is the opposite of left |
| antecedent |
|
|
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17091-17095 |
|
| consequent |
|
|
| statement |
|
|
|
|
|