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
-------------------------


s__contraryAttribute__2(s__Horizontal,s__Vertical)

Merge.kif 16371-16371 Horizontal is the opposite of vertical
s__documentation(s__Horizontal,s__ChineseLanguage,'"这是用来表示一个 Object 相对于另外一个 Object 的位置是属于水平方向的属性。"')

chinese_format.kif 3810-3811
s__documentation(s__Horizontal,s__EnglishLanguage,'"Attribute used to indicate that an Object is positioned width-wise with respect to another Object."')

Merge.kif 16372-16373
s__instance(s__Horizontal,s__PositionalAttribute)

s__instance(s__PositionalAttribute,s__Class)

Merge.kif 16370-16370 Horizontal is an instance of positional attribute

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


s__termFormat(s__ChineseLanguage,s__Horizontal,'"横"')

domainEnglishFormat.kif 28548-28548
s__termFormat(s__ChineseTraditionalLanguage,s__Horizontal,'"橫"')

domainEnglishFormat.kif 28547-28547
s__termFormat(s__EnglishLanguage,s__Horizontal,'"horizontal"')

domainEnglishFormat.kif 28546-28546

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Horizontal) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Horizontal))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Horizontal) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Horizontal)))))
     )
   )

Merge.kif 16375-16377 An object is horizontal to another object if and only if the other object is horizontal to the object
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__Time,s__DayTime) &
         s__instance(V__Observe,s__Looking) &
         s__instance(V__B,s__Object) &
         s__color(V__B,s__Black) &
         s__agent(V__Observe,V__A)
       &
       s__patient(V__Observe,V__B)
     &
     s__orientation(V__A,V__B,s__Horizontal) &
     s__eventLocated(V__Observe,V__Area)
   &
   s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(( ? [V__D2] :
((s__instance(V__D2,s__RealNumber) &
     (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
   &
   s__greaterThan(V__Distance,V__D2)))))))))
)
)

Weather.kif 2721-2741
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__Time,s__NightTime) &
         s__instance(V__Observe,s__Looking) &
         s__instance(V__B,s__Region) &
         s__attribute(V__B,s__Illuminated) &
         s__measure(V__B,s__MeasureFn(n__1000,s__Candela))
       &
       s__agent(V__Observe,V__A)
     &
     s__patient(V__Observe,V__B)
   &
   s__orientation(V__A,V__B,s__Horizontal) &
   s__eventLocated(V__Observe,V__Area)
&
s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(( ? [V__D2] :
((s__instance(V__D2,s__RealNumber) &
   (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
&
s__greaterThan(V__Distance,V__D2)))))))))
)
)

Weather.kif 2743-2764

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Horizontal) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Horizontal))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Horizontal) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Horizontal)))))
     )
   )

Merge.kif 16375-16377 An object is horizontal to another object if and only if the other object is horizontal to the object
( ! [V__Time,V__U,V__Distance,V__Area] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure))
       =>
       (~(( ? [V__Observe, V__A, V__B, V__D2] :
             ((s__instance(V__A,s__Agent) &
                 s__instance(V__B,s__Object) &
                 s__instance(V__D2,s__RealNumber) &
                 (s__instance(V__Observe,s__Looking) &
                   s__agent(V__Observe,V__A)
                 &
                 s__patient(V__Observe,V__B)
               &
               s__orientation(V__A,V__B,s__Horizontal) &
               s__during(s__WhenFn(V__Observe)
            ,V__Time)
           &
           s__eventLocated(V__Observe,V__Area)
         &
         s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
     &
     s__greaterThan(V__D2,V__Distance))))))))))
)
)

Weather.kif 2702-2719
( ! [V__TRAN,V__T,V__CS] :
   (((s__instance(V__TRAN,s__Process) &
         s__instance(V__T,s__Process))
       =>
       ((s__instance(V__CS,s__CyclonicStorm) =>
           (( ? [V__R, V__A] :
               ((s__instance(V__R,s__Rotating) &
                   s__instance(V__A,s__Air) &
                   s__instance(V__TRAN,s__Translocation) &
                   s__subProcess(V__R,V__T)
                 &
                 s__subProcess(V__TRAN,V__R)
               &
               s__patient(V__TRAN,V__A)
             &
             s__direction(V__TRAN,s__Horizontal))))))))
)
)

Weather.kif 560-570


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