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 17208-17209
(instance Vertical PositionalAttribute) Merge.kif 17207-17207 Vertical est une instance de attribut positionnel

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


(contraryAttribute Horizontal Vertical) Merge.kif 17216-17216 Horizontal est l'oppos� de Vertical
(termFormat ChineseLanguage Vertical "垂直") domainEnglishFormat.kif 61550-61550 Horizontal est l'oppos� de Vertical
(termFormat ChineseTraditionalLanguage Vertical "垂直") domainEnglishFormat.kif 61549-61549 Horizontal est l'oppos� de Vertical
(termFormat EnglishLanguage Vertical "vertical") domainEnglishFormat.kif 61548-61548 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 17211-17213 Objet est Vertical � objet objet est Vertical � objet

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17211-17213 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 4521-4538
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))		 Geography.kif 2072-2078
(=>
    (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 4336-4350


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