manner - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation manner attribute)	Merge.kif 1734-1734	manner and attribute are disjoint
(documentation manner ChineseLanguage "(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示，这些包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。")	chinese_format.kif 1716-1718	manner and attribute are 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 1736-1740	manner and attribute are disjoint
(documentation manner JapaneseLanguage "(manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのようなが含まれる。")	japanese_format.kif 320-323	manner and attribute are disjoint
(domain manner 1 Process)	Merge.kif 1732-1732	The number 1 argument of manner is an instance of process
(domain manner 2 Attribute)	Merge.kif 1733-1733	The number 2 argument of manner is an instance of attribute
(instance manner AsymmetricRelation)	Merge.kif 1727-1727	manner is an instance of asymmetric relation
(instance manner BinaryPredicate)	Merge.kif 1730-1730	manner is an instance of binary predicate
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728	manner is an instance of irreflexive relation
(instance manner TotalValuedRelation)	Merge.kif 1729-1729	manner is an instance of total valued relation
(subrelation manner property)	Merge.kif 1731-1731	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
(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 36040-36040
(termFormat ChineseTraditionalLanguage manner "方式")	domainEnglishFormat.kif 36039-36039
(termFormat EnglishLanguage manner "manner")	domainEnglishFormat.kif 36038-36038
(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 30553-30567	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) (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 30464-30475	If a process is performed in the manner Solely, then there exists an entity such that the entity is an involved in event of the process and the entity is an instance of agent and there doesn't exist the entity2 such that the entity2 is an involved in event of the process and the entity2 is an instance of agent and the entity is not equal to the entity2
(=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating))	Cars.kif 5006-5008	If a process is performed in the manner rotational attribute, then the process is an instance of rotating

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

If a physical is an instance of direction change,
then there exists an entity such that the entity is an instance of directional attribute and the physical is performed in the manner the entity holds during the beginning of the time of existence of the physical and the physical is not performed in the manner the entity holds during the end of the time of existence of the physical or the physical is performed in the manner the entity holds during the end of the time of existence of the physical and the physical is not performed in the manner the entity holds during the beginning of the time of existence of the physical

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

KB Term:			Term intersection

English Word: