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


(disjointRelation manner attribute) Merge.kif 1637-1637 disjointRelation manner and attribute
(documentation manner ChineseLanguage "(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示,这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。") chinese_format.kif 1716-1718
(documentation manner 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 1639-1643
(domain manner 1 Process) Merge.kif 1636-1636 domain manner, 1 and Process
(instance manner AsymmetricRelation) Merge.kif 1632-1632 instance manner and AsymmetricRelation
(instance manner IrreflexiveRelation) Merge.kif 1633-1633 instance manner and IrreflexiveRelation
(instance manner TotalValuedRelation) Merge.kif 1634-1634 instance manner and TotalValuedRelation
(subrelation manner property) Merge.kif 1635-1635 subrelation manner and property

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


(format ChineseLanguage manner "%1 %n 是以 %2 的形式发生") chinese_format.kif 149-149
(format EnglishLanguage manner "%1 is %n performed in the manner %2") english_format.kif 150-150
(termFormat ChineseLanguage manner "形式") chinese_format.kif 150-150 termFormat ChineseLanguage, manner and "形式"
(termFormat ChineseLanguage manner "方式") domainEnglishFormat.kif 35923-35923 termFormat ChineseLanguage, manner and "方式"
(termFormat ChineseTraditionalLanguage manner "方式") domainEnglishFormat.kif 35922-35922 termFormat ChineseTraditionalLanguage, manner and "方式"
(termFormat EnglishLanguage manner "manner") domainEnglishFormat.kif 35921-35921 termFormat EnglishLanguage, manner and "manner"

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


(<=>
    (manner ?P Harmless)
    (and
        (not
            (instance ?P Damaging))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (subProcess ?P2 ?P))))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (causes ?P ?P2))))))
Mid-level-ontology.kif 28432-28446 manner Process and Harmless instance Process and Damaging Process instance Process and Damaging subProcess Process and Process Process instance Process and Damaging causes Process and Process
(=>
    (manner ?P Solely)
    (and
        (exists (?H)
            (and
                (involvedInEvent ?P ?H)
                (instance ?H Agent)))
        (not
            (exists (?H2)
                (and
                    (involvedInEvent ?P ?H2)
                    (instance ?H2 Agent))))))
Mid-level-ontology.kif 28353-28364
(=>
    (manner ?PROC RotationalAttribute)
    (instance ?PROC Rotating))
Cars.kif 4925-4927

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


(=>
    (instance ?PROC DirectionChange)
    (exists (?ATTR)
        (and
            (instance ?ATTR DirectionalAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?PROC))
                        (manner ?PROC ?ATTR))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?PROC))
                        (not
                            (manner ?PROC ?ATTR))))
                (and
                    (holdsDuring
                        (EndFn
                            (WhenFn ?PROC))
                        (manner ?PROC ?ATTR))
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?PROC))
                        (not
                            (manner ?PROC ?ATTR))))))))
Merge.kif 10411-10422


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