manner - Sigma Knowledge base Browser

appearance as argument number 1

(instance manner AsymmetricRelation)	Merge.kif 1761-1761	manner is an instance of asymmetric relation
(instance manner IrreflexiveRelation)	Merge.kif 1762-1762	manner is an instance of irreflexive relation
(instance manner TotalValuedRelation)	Merge.kif 1763-1763	manner is an instance of total valued relation
(instance manner BinaryPredicate)	Merge.kif 1764-1764	manner is an instance of binary predicate
(subrelation manner property)	Merge.kif 1765-1765	manner is a subrelation of property
(domain manner 1 Process)	Merge.kif 1766-1766	The number 1 argument of manner is an instance of process
(domain manner 2 Attribute)	Merge.kif 1767-1767	The number 2 argument of manner is an instance of attribute
(disjointRelation manner attribute)	Merge.kif 1768-1768	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 1770-1774	manner and attribute are disjoint

appearance as argument number 2

(termFormat EnglishLanguage manner "manner")	domainEnglishFormat.kif 36011-36011
(termFormat ChineseTraditionalLanguage manner "方式")	domainEnglishFormat.kif 36012-36012
(termFormat ChineseLanguage manner "方式")	domainEnglishFormat.kif 36013-36013
(format EnglishLanguage manner "%1 is %n performed in the manner %2")	english_format.kif 150-150

antecedent

(=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating))	Cars.kif 5024-5026	If X is performed in the manner rotational attribute, then X is an instance of rotating
(=> (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 32871-32882	If X is performed in the manner Solely, then there exists Y such that Y is an involved in event of X, Y is an instance of agent, there doesn't exist Z such that Z is an involved in event of X, Z is an instance of agent, equal Y, and Z
(<=> (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 32960-32974	X is performed in the manner harmless if, only if X is not an instance of damaging, there doesn't exist Y such that Y is an instance of damaging, Y is a subprocess of X, there doesn't exist Y such that Y is an instance of damaging, and X causes Y

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

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

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: