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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Horizontal
Horizontal

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


(contraryAttribute Horizontal Vertical) Merge.kif 17137-17137 Horizontal est l'oppos� de Vertical
(documentation Horizontal ChineseLanguage "这是用来表示一个 Object 相对于另外一个 Object 的位置是属于水平方向的属性。") chinese_format.kif 3810-3811 Horizontal est l'oppos� de Vertical
(documentation Horizontal EnglishLanguage "Attribute used to indicate that an Object is positioned width_wise with respect to another Object.") Merge.kif 17138-17139 Horizontal est l'oppos� de Vertical
(instance Horizontal PositionalAttribute) Merge.kif 17136-17136 Horizontal est une instance de attribut positionnel

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


(termFormat ChineseLanguage Horizontal "横") domainEnglishFormat.kif 28585-28585
(termFormat ChineseTraditionalLanguage Horizontal "橫") domainEnglishFormat.kif 28584-28584
(termFormat EnglishLanguage Horizontal "horizontal") domainEnglishFormat.kif 28583-28583
(termFormat tg Horizontal "pahalang") terms-tg.txt 532-532

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17141-17143 Objet est Horizontal � objet objet est Horizontal � objet
(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))		 Weather.kif 1633-1654
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (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))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))		 Weather.kif 2710-2730
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))		 Weather.kif 2732-2753

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17141-17143 Objet est Horizontal � objet objet est Horizontal � objet
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure))
    (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
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?Distance)))))		 Weather.kif 2691-2708


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