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 17104-17105 | |
(instance Vertical PositionalAttribute) | Merge.kif 17103-17103 | Vertical e' uma instancia de Atributo Posicional |
appearance as argument number 2 |
(contraryAttribute Horizontal Vertical) | Merge.kif 17112-17112 | Horizontal e' &o oposto de Vertical |
(termFormat ChineseLanguage Vertical "垂直") | domainEnglishFormat.kif 61558-61558 | |
(termFormat ChineseTraditionalLanguage Vertical "垂直") | domainEnglishFormat.kif 61557-61557 | |
(termFormat EnglishLanguage Vertical "vertical") | domainEnglishFormat.kif 61556-61556 | |
(termFormat tg Vertical "patayo") | terms-tg.txt 531-531 |
antecedent |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 17107-17109 | Objeto e' Vertical em relacao a Objeto Objeto e' Vertical em relacao a Objeto |
consequent |