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 è un' istanza di AttributoPosizionale |
appearance as argument number 2 |
(contraryAttribute Horizontal Vertical) | Merge.kif 17112-17112 | Horizontal è opposto a 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 | Oggetto è Vertical a Oggetto Oggetto è Vertical a Oggetto |
consequent |