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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Horizontal
Horizontal(horizontal)flat, horizontal, horizontality, horizontally, level

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


(contraryAttribute Horizontal Vertical) Merge.kif 17374-17374 Horizontal is the opposite of vertical
(documentation Horizontal ChineseLanguage "这是用来表示一个 Object 相对于另外一个 Object 的位置是属于水平方向的属性。") Merge.kif 17377-17378
(documentation Horizontal EnglishLanguage "Attribute used to indicate that an Object is positioned width-wise with respect to another Object.") Merge.kif 17375-17376
(instance Horizontal PositionalAttribute) Merge.kif 17373-17373 Horizontal is an instance of positional attribute

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


(termFormat EnglishLanguage Horizontal "horizontal") domainEnglishFormat.kif 5177-5177 "horizontal" is the printable form of horizontal in english language

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17380-17382 An object is horizontal to another object if and only if the other object is horizontal to the object
(=>
    (and
        (visibilityInMeteorology ?Area ?Time ?Distance)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (and
        (distance ?A ?B ?D2)
        (greaterThan ?Distance ?D2)))
Weather.kif 1137-1153
(=>
    (and
        (visibilityInMeteorology ?Area ?Time ?Distance)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (and
        (distance ?A ?B ?D2)
        (greaterThan ?Distance ?D2)))
Weather.kif 1155-1172

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17380-17382 An object is horizontal to another object if and only if the other object is horizontal to the object
(=>
    (visibilityInMeteorology ?Area ?Time ?Distance)
    (not
        (exists (?Observe ?A ?B ?D2)
            (and
                (instance ?Observe Looking)
                (agent ?Observe ?A)
                (patient ?Observe ?B)
                (orientation ?A ?B Horizontal)
                (during
                    (WhenFn ?Observe) ?Time)
                (eventLocated ?Observe ?Area)
                (distance ?A ?B ?D2)
                (greaterThan ?D2 ?Distance)))))
Weather.kif 1122-1135


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