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 17182-17185 | |
(externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") | pictureList.kif 10094-10094 | |
(instance Left AntiSymmetricPositionalAttribute) | Merge.kif 17181-17181 | Left è un' istanza di AntiSymmetricPositionalAttribute |
(instance Left PositionalAttribute) | Merge.kif 17180-17180 | Left è un' istanza di AttributoPosizionale |
appearance as argument number 2 |
(contraryAttribute Right Left) | Merge.kif 17189-17189 | Right è opposto a Left |
(termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33761-33761 | |
(termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33760-33760 | |
(termFormat EnglishLanguage Left "left") | domainEnglishFormat.kif 33759-33759 | |
(termFormat tg Left "kaliwa") | terms-tg.txt 536-536 |
antecedent |
(=> (and (orientation ?X ?Y Right) (orientation ?Z ?Y Left)) (orientation ?X ?Z Right)) |
Merge.kif 17002-17006 |
consequent |
statement |