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 1680-1680 manner and attribute are disjoint
(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 1682-1686
(domain manner 1 Process) Merge.kif 1678-1678 The number 1 argument of manner is an instance of process
(domain manner 2 Attribute) Merge.kif 1679-1679 The number 2 argument of manner is an instance of attribute
(instance manner AsymmetricRelation) Merge.kif 1673-1673 manner is an instance of asymmetric relation
(instance manner BinaryPredicate) Merge.kif 1676-1676 manner is an instance of binary predicate
(instance manner IrreflexiveRelation) Merge.kif 1674-1674 manner is an instance of irreflexive relation
(instance manner TotalValuedRelation) Merge.kif 1675-1675 manner is an instance of total valued relation
(subrelation manner property) Merge.kif 1677-1677 manner is a subrelation of 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 "方式") domainEnglishFormat.kif 35994-35994
(termFormat ChineseTraditionalLanguage manner "方式") domainEnglishFormat.kif 35993-35993
(termFormat EnglishLanguage manner "manner") domainEnglishFormat.kif 35992-35992

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 29698-29712 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
(=>
    (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 29609-29620
(=>
    (manner ?PROC RotationalAttribute)
    (instance ?PROC Rotating))
Cars.kif 4949-4951

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


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