Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vertical
Vertical(vertical)erect, erectness, patayo, perpendicular, plumb, unsloped, upended, upright, uprightness, vertical, verticality, vertically, verticalness

appearance as argument number 1
-------------------------


(documentation Vertical ChineseLanguage "这是用来表示一个 Object 相对于另外一个 Object 的位置是属于高度方向的属性。") Merge.kif 17228-17229
(documentation Vertical EnglishLanguage "Attribute used to indicate that an Object is positioned height-wise with respect to another Object.") Merge.kif 17226-17227
(instance Vertical PositionalAttribute) Merge.kif 17225-17225 Vertical is an instance of positional attribute

appearance as argument number 2
-------------------------


(contraryAttribute Horizontal Vertical) Merge.kif 17236-17236 Horizontal is the opposite of vertical
(termFormat EnglishLanguage Vertical "vertical") domainEnglishFormat.kif 10688-10688 "vertical" is the printable form of vertical in english language
(termFormat tg Vertical "patayo") terms-tg.txt 531-531 "patayo" is the printable form of vertical in tg

antecedent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17231-17233 An object is vertical to another object if and only if the other object is vertical to the object

consequent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17231-17233 An object is vertical to another object if and only if the other object is vertical to the object
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1855-1861
(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral)
            (forall (?CORNER)
                (=>
                    (and
                        (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER)
                        (sideOfFigure ?SIDE1 ?SHAPE)
                        (sideOfFigure ?SIDE2 ?SHAPE)
                        (not
                            (equal ?SIDE1 ?SIDE2)))
                    (exists (?POST ?FLOOR)
                        (and
                            (meetsSpatially ?CORNER ?POST)
                            (instance ?POST Artifact)
                            (instance ?FLOOR Floor)
                            (orientation ?BED ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4546-4565
(=>
    (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 4420-4434


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners