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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vertical
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 16780-16781
(instance Vertical PositionalAttribute) Merge.kif 16779-16779

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


(contraryAttribute Horizontal Vertical) Merge.kif 16788-16788
(termFormat ChineseLanguage Vertical "垂直") domainEnglishFormat.kif 61523-61523
(termFormat ChineseTraditionalLanguage Vertical "垂直") domainEnglishFormat.kif 61522-61522
(termFormat EnglishLanguage Vertical "vertical") domainEnglishFormat.kif 61521-61521

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 16783-16785

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 16783-16785
(=>
    (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 3985-4002
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1917-1923
(=>
    (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 3849-3863


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 3.0 is open source software produced by Articulate Software and its partners