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 17159-17160
(instance Vertical PositionalAttribute) Merge.kif 17158-17158 Vertical est une instance de attribut positionnel

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


(contraryAttribute Horizontal Vertical) Merge.kif 17167-17167 Horizontal est l'oppos� de Vertical
(termFormat ChineseLanguage Vertical "垂直") domainEnglishFormat.kif 61579-61579 Horizontal est l'oppos� de Vertical
(termFormat ChineseTraditionalLanguage Vertical "垂直") domainEnglishFormat.kif 61578-61578 Horizontal est l'oppos� de Vertical
(termFormat EnglishLanguage Vertical "vertical") domainEnglishFormat.kif 61577-61577 Horizontal est l'oppos� de Vertical
(termFormat tg Vertical "patayo") terms-tg.txt 531-531 Horizontal est l'oppos� de Vertical

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17162-17164 Objet est Vertical � objet objet est Vertical � objet

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17162-17164 Objet est Vertical � objet objet est Vertical � objet
(=>
    (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 4547-4564
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))		 Geography.kif 1902-1908
(=>
    (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 4362-4376


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