TreeView Knowledge Base Browser

appearance as argument number 1

(instance manner IrreflexiveRelation)	Merge.kif 1819-1819	manner is an instance of irreflexive relation
(instance manner TotalValuedRelation)	Merge.kif 1820-1820	manner is an instance of total valued relation
(instance manner BinaryPredicate)	Merge.kif 1821-1821	manner is an instance of binary predicate
(subrelation manner property)	Merge.kif 1822-1822	manner is a subrelation of property
(domain manner 1 Process)	Merge.kif 1823-1823	The number 1 argument of manner is an instance of process
(domain manner 2 Attribute)	Merge.kif 1824-1824	The number 2 argument of manner is an instance of attribute
(disjointRelation manner attribute)	Merge.kif 1825-1825	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 1827-1831	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 ?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 32841-32852	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 32943-32957	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
(=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating))	Cars.kif 4838-4840	If X is performed in the manner rotational attribute, then X 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 11560-11571

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: