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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - manner
manner

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


s__disjointRelation(s__manner__m,s__attribute__m)

Merge.kif 1677-1677 manner and attribute are disjoint
s__documentation(s__manner__m,s__ChineseLanguage,'"(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示,这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。"')

chinese_format.kif 1716-1718
s__documentation(s__manner__m,s__EnglishLanguage,'"(manner ?PROCESS ?MANNER) means that the Process ?PROCESS is qualified by the Attribute ?MANNER. The Attributes of Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition."')

Merge.kif 1679-1683
s__domain(s__manner__m,n__1,s__Process)

Merge.kif 1675-1675 The number 1 argument of manner is an instance of process
s__domain(s__manner__m,n__2,s__Attribute)

Merge.kif 1676-1676 The number 2 argument of manner is an instance of attribute
s__instance(s__manner__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 1670-1670 manner is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__manner__m,s__BinaryPredicate)

Merge.kif 1673-1673 manner is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__manner__m,s__IrreflexiveRelation)

Merge.kif 1671-1671 manner is an instance of irreflexive relation
s__instance(s__manner__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 1672-1672 manner is an instance of total valued relation
s__subrelation(s__manner__m,s__property__m)

Merge.kif 1674-1674 manner is a subrelation of property

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


s__format(s__ChineseLanguage,s__manner__m,'"%1 %n 是以 %2 的形式发生"')

chinese_format.kif 149-149
s__format(s__EnglishLanguage,s__manner__m,'"%1 is %n performed in the manner %2"')

english_format.kif 150-150
s__termFormat(s__ChineseLanguage,s__manner__m,'"形式"')

chinese_format.kif 150-150
s__termFormat(s__ChineseLanguage,s__manner__m,'"方式"')

domainEnglishFormat.kif 35994-35994
s__termFormat(s__ChineseTraditionalLanguage,s__manner__m,'"方式"')

domainEnglishFormat.kif 35993-35993
s__termFormat(s__EnglishLanguage,s__manner__m,'"manner"')

domainEnglishFormat.kif 35992-35992

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


( ! [V__P] :
   ((s__instance(V__P,s__Process) =>
       (((s__manner(V__P,s__Harmless) =>
             (~(s__instance(V__P,s__Damaging))
               &
               ~(( ? [V__P2] :
                   ((s__instance(V__P2,s__Damaging) &
                       s__subProcess(V__P2,V__P)))))
             &
             ~(( ? [V__P2] :
                 ((s__instance(V__P2,s__Damaging) &
                     s__causes(V__P,V__P2)))))))
       &
       ((~(s__instance(V__P,s__Damaging))
           &
           ~(( ? [V__P2] :
               ((s__instance(V__P2,s__Damaging) &
                   s__subProcess(V__P2,V__P)))))
         &
         ~(( ? [V__P2] :
             ((s__instance(V__P2,s__Damaging) &
                 s__causes(V__P,V__P2))))))
     =>
     s__manner(V__P,s__Harmless)))))
)
)

Mid-level-ontology.kif 29343-29357 A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
( ! [V__P] :
   ((s__instance(V__P,s__Process) =>
       ((s__manner(V__P,s__Solely) =>
           ((( ? [V__H] :
                 ((s__involvedInEvent(V__P,V__H)
                   &
                   s__instance(V__H,s__Agent))))
             &
             ~(( ? [V__H2] :
                 ((s__involvedInEvent(V__P,V__H2)
                   &
                   s__instance(V__H2,s__Agent))))))))))
)
)

Mid-level-ontology.kif 29254-29265
( ! [V__PROC] :
   ((s__instance(V__PROC,s__Process) =>
       ((s__manner(V__PROC,s__RotationalAttribute) =>
           (s__instance(V__PROC,s__Rotating)))))
     )
   )

Cars.kif 4949-4951

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10821-10832


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