Vertical
|
|
appearance as argument number 1 |
(documentation Vertical ChineseLanguage "这是用来表示一个 Object 相对于另外一个 Object 的位置是属于高度方向的属性。") | chinese_format.kif 3808-3809 | |
(documentation Vertical EnglishLanguage "Attribute used to indicate that an Object is positioned height-wise with respect to another Object.") | Merge.kif 17033-17034 | |
(instance Vertical PositionalAttribute) | Merge.kif 17032-17032 | Vertical est une instance de attribut positionnel |
appearance as argument number 2 |
(contraryAttribute Horizontal Vertical) | Merge.kif 17041-17041 | Horizontal est l'oppos� de Vertical |
(termFormat ChineseLanguage Vertical "垂直") | domainEnglishFormat.kif 61556-61556 | |
(termFormat ChineseTraditionalLanguage Vertical "垂直") | domainEnglishFormat.kif 61555-61555 | |
(termFormat EnglishLanguage Vertical "vertical") | domainEnglishFormat.kif 61554-61554 | |
(termFormat tg Vertical "patayo") | terms-tg.txt 531-531 |
antecedent |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 17036-17038 | Objet est Vertical � objet objet est Vertical � objet |
consequent |