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 1744-1744 形式属于disjoint 关系
(documentation manner ChineseLanguage "(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示,这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。") chinese_format.kif 1716-1718 形式属于disjoint 关系
(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 1746-1750 形式属于disjoint 关系
(documentation manner JapaneseLanguage "(manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのような が含まれる。") japanese_format.kif 320-323 形式属于disjoint 关系
(domain manner 1 Process) Merge.kif 1742-1742 形式 的 1 数量 是 过程instance
(domain manner 2 Attribute) Merge.kif 1743-1743 形式 的 2 数量 是 属性instance
(instance manner AsymmetricRelation) Merge.kif 1737-1737 形式非对称关系instance
(instance manner BinaryPredicate) Merge.kif 1740-1740 形式二元谓语instance
(instance manner IrreflexiveRelation) Merge.kif 1738-1738 形式非自反关系instance
(instance manner TotalValuedRelation) Merge.kif 1739-1739 形式总值关系instance
(subrelation manner property) Merge.kif 1741-1741 形式特性subrelation

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
(format FrenchLanguage manner "%1 est %n ex�cut� de la fa�on %2") french_format.kif 95-95
(format ItalianLanguage manner "%1 è eseguito nel modo %2") relations-it.txt 173-173
(format JapaneseLanguage manner "%1 は %2 の方法で実行され %n") japanese_format.kif 1923-1923
(format PortugueseLanguage manner "%1 e' %n feito de forma %2") portuguese_format.kif 47-47
(format de manner "%1 wird in der Weise von %2 durchgef�hrt") relations-de.txt 179-179
(format hi manner "%1 %2 kii Sailii men sampanna hotaa hai") relations-hindi.txt 211-211
(format ro manner "%1 %n{nu} este executat în maniera %2") relations-ro.kif 114-114
(format sv manner "%1 utförs %n{inte} på sättet %2") relations-sv.txt 94-94
(format tg manner "%1 ay kumilos ang asal %2") relations-tg.txt 343-343
(termFormat ChineseLanguage manner "形式") chinese_format.kif 150-150
(termFormat ChineseLanguage manner "方式") domainEnglishFormat.kif 36020-36020
(termFormat ChineseTraditionalLanguage manner "方式") domainEnglishFormat.kif 36019-36019
(termFormat EnglishLanguage manner "manner") domainEnglishFormat.kif 36018-36018
(termFormat de manner "weise") terms-de.txt 55-55
(termFormat tg manner "tungkulin ng paraan") relations-tg.txt 344-344

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 32214-32228 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏instance那个 过程2是那个 过程subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏instance那个 过程 causes 那个 过程2
(=>
    (manner ?P Solely)
    (exists (?H)
        (and
            (involvedInEvent ?P ?H)
            (instance ?H AutonomousAgent)
            (not
                (exists (?H2)
                    (and
                        (involvedInEvent ?P ?H2)
                        (instance ?H2 AutonomousAgent)
                        (not
                            (equal ?H ?H2))))))))
Mid-level-ontology.kif 32125-32136
(=>
    (manner ?PROC RotationalAttribute)
    (instance ?PROC Rotating))
Cars.kif 5007-5009

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


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