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 16884-16885 | |
(instance Vertical PositionalAttribute) | Merge.kif 16883-16883 |
appearance as argument number 2 |
![]() |
(contraryAttribute Horizontal Vertical) | Merge.kif 16892-16892 | |
(termFormat ChineseLanguage Vertical "垂直") | domainEnglishFormat.kif 61526-61526 | |
(termFormat ChineseTraditionalLanguage Vertical "垂直") | domainEnglishFormat.kif 61525-61525 | |
(termFormat EnglishLanguage Vertical "vertical") | domainEnglishFormat.kif 61524-61524 |
antecedent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 16887-16889 |
consequent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 16887-16889 | |
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4038-4055 | |
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1919-1925 | |
(=> (instance ?X MurphyBed) (exists (?STORAGE) (and (instance ?STORAGE Compartment) (meetsSpatially ?STORAGE ?X) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE) (holdsDuring (WhenFn ?K) (attribute ?X Vertical)))))))) |
Mid-level-ontology.kif 3853-3867 |
![]() |
![]() |