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 |
![]() |
![]() |
![]() |