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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - direction
direction

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


s__documentation(s__direction__m,s__ChineseLanguage,'"(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如:我们会用这个 Predicate 来代表马斯正在向 North 移动。"')

chinese_format.kif 3789-3790
s__documentation(s__direction__m,s__EnglishLanguage,'"(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North."')

Merge.kif 16256-16259
s__domain(s__direction__m,n__1,s__Process)

Merge.kif 16253-16253 The number 1 argument of direction is an instance of process
s__domain(s__direction__m,n__2,s__PositionalAttribute)

Merge.kif 16254-16254 The number 2 argument of direction is an instance of positional attribute
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__direction__m,s__CaseRole)

Merge.kif 16251-16251 direction is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__direction__m,s__PartialValuedRelation)

Merge.kif 16252-16252 direction is an instance of partial valued relation
s__subrelation(s__direction__m,s__involvedInEvent__m)

Merge.kif 16255-16255 direction is a subrelation of involved in event

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


s__format(s__ChineseLanguage,s__direction__m,'"%1 过程的实体 %n 向 %2"')

chinese_format.kif 588-588
s__format(s__EnglishLanguage,s__direction__m,'"entities in the process %1 are %n moving %2"')

english_format.kif 595-595
s__termFormat(s__ChineseLanguage,s__direction__m,'"方向"')

chinese_format.kif 589-589
s__termFormat(s__ChineseTraditionalLanguage,s__direction__m,'"方向"')

domainEnglishFormat.kif 19676-19676
s__termFormat(s__EnglishLanguage,s__direction__m,'"direction"')

domainEnglishFormat.kif 19675-19675

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


( ! [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
No TPTP formula. May not be expressible in strict first order. Merge.kif 16261-16266

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17216-17250
No TPTP formula. May not be expressible in strict first order. Merge.kif 16261-16266
( ! [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