| 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 は AntiSymmetricPositionalAttribute の instance では |
| (instance Left PositionalAttribute) | Merge.kif 17269-17269 | Left は 位置属性 の instance では |
| appearance as argument number 2 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17278-17278 | Right は Left の disjoint では |
| (termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33772-33772 | Right は Left の disjoint では |
| (termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33771-33771 | Right は Left の disjoint では |
| (termFormat EnglishLanguage Left "left") | domainEnglishFormat.kif 33770-33770 | Right は Left の disjoint では |
| (termFormat tg Left "kaliwa") | terms-tg.txt 536-536 | Right は Left の disjoint では |
| antecedent |
|
|
| (=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17091-17095 |
| consequent |
|
|
| statement |
|
|
|
|
|