Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - causesProposition
causesProposition

appearance as argument number 1
-------------------------


(instance causesProposition BinaryPredicate) Merge.kif 3924-3924 causes proposition is an instance of binary predicate
(instance causesProposition AsymmetricRelation) Merge.kif 3925-3925 causes proposition is an instance of asymmetric relation
(domain causesProposition 1 Formula) Merge.kif 3926-3926 The number 1 argument of causes proposition is an instance of formula
(domain causesProposition 2 Formula) Merge.kif 3927-3927 The number 2 argument of causes proposition is an instance of formula
(documentation causesProposition EnglishLanguage "(causesProposition ?FORMULA1 ?FORMULA2) means that the state of affairs described by ?FORMULA1 causes, or mechanistically brings about, the state of affairs described by ?FORMULA2. Note that unlike entails, the time during which ?FORMULA2 holds cannot precede the time during which ?FORMULA1 holds, although ?FORMULA1 and ?FORMULA2 can hold simultaneously. Note, also, that causesProposition is a predicate, not a truth function. The following rule (contraposition) does not hold: (=> (causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1))).") Merge.kif 3929-3938 The number 2 argument of causes proposition is an instance of formula

appearance as argument number 2
-------------------------


(format EnglishLanguage causesProposition "%2 is %n a causes proposition of %1") domainEnglishFormat.kif 390-390
(format ChineseTraditionalLanguage causesProposition "%2 %n 是 %1 的 causes 提議") domainEnglishFormat.kif 391-391
(format ChineseLanguage causesProposition "%2 %n 是 %1 的 causes 提议") domainEnglishFormat.kif 392-392
(termFormat EnglishLanguage causesProposition "causes proposition") domainEnglishFormat.kif 13512-13512
(termFormat ChineseTraditionalLanguage causesProposition "引起提案") domainEnglishFormat.kif 13513-13513
(termFormat ChineseLanguage causesProposition "引起主张") domainEnglishFormat.kif 13514-13514

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))		 Merge.kif 3940-3947 If X holds during Y, Z holds during W, W is an instance of timeframe, Y is an instance of timeframe, and X is a causes proposition of Z, then the beginning of W happens before or at the beginning of Y

consequent
-------------------------


(=>
    (and
        (instance ?G Gaslighting)
        (agent ?G ?A)
        (suffers ?G ?H))
    (exists (?P)
        (and
            (instance ?P Perception)
            (experiencer ?P ?H)
            (causesProposition
                (suffers ?G ?H)
                (not
                    (knows ?H
                        (result ?P ?R)))))))		 Medicine.kif 3696-3709 If X is an instance of gaslighting, Y is an agent of X, and Z suffers from X, then there exists W such that W is an instance of perception, Z experiences W, and Z doesn't know V is not a result of W is a causes proposition of Z suffers from X
(=>
    (instance ?X MusicChart)
    (exists (?P ?OBJ)
        (causesProposition
            (and
                (instance ?P Selecting)
                (patient ?P ?X))
            (inList ?OBJ ?X))))		 Music.kif 1127-1134 If X is an instance of music charts, then there exist Y, Z such that Z is a member of X is a causes proposition of Y is an instance of selecting, and X is a patient of Y
(=>
    (instance ?EVU EmotionalVoiceUtterances)
    (exists (?A)
        (causesProposition
            (exists (?E ?A)
                (and
                    (instance ?E EmotionalState)
                    (attribute ?A ?E)))
            (agent ?EVU ?A))))		 emotion.kif 109-117 If X is an instance of emotional voice utterances, then there exists Y such that Y is an agent of X is a causes proposition of there exist Z, Y such that Z is an instance of emotional state, and Z is an attribute of Y
(=>
    (attribute ?A Schadenfreude)
    (exists (?A2 ?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (not
                (equal ?A ?A2))
            (not
                (desires ?A2 ?P)))))		 emotion.kif 1185-1194 If schadenfreude is an attribute of X, then there exist Y, Z such that schadenfreude is an attribute of X is a causes proposition of Z, equal X, Y, and Y doesn't desire Z
(=>
    (holdsDuring ?T
        (attribute ?A SensoryPleasure))
    (exists (?P)
        (and
            (instance ?P Perception)
            (during ?T
                (WhenFn ?P))
            (causesProposition
                (experiencer ?P ?A)
                (holdsDuring ?T
                    (attribute ?A SensoryPleasure))))))		 emotion.kif 1212-1222 If sensory pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of perception, Y takes place during the time of existence of Z, and sensory pleasure is an attribute of X holds during Y is a causes proposition of X experiences Z
(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (causesProposition
        (exists (?P ?H)
            (and
                (instance ?P Perception)
                (patient ?P ?H)
                (experiencer ?P ?A)
                (instance ?H Human)
                (during
                    (WhenFn ?P) ?T)))
        (holdsDuring ?T
            (attribute ?A InterpersonalDisgust))))		 emotion.kif 1450-1462 If interpersonal disgust is an attribute of X holds during Y, then interpersonal disgust is an attribute of X holds during Y is a causes proposition of there exist Z, W such that Z is an instance of perception, W is a patient of Z, X experiences Z, W is an instance of human, and the time of existence of Z takes place during Y
(=>
    (holdsDuring ?T
        (attribute ?A SexualPleasure))
    (exists (?M)
        (and
            (instance ?M Mating)
            (during ?T
                (WhenFn ?M))
            (causesProposition
                (agent ?M ?A)
                (holdsDuring ?T
                    (attribute ?A SexualPleasure))))))		 emotion.kif 1844-1854 If sexual pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of mating, Y takes place during the time of existence of Z, and sexual pleasure is an attribute of X holds during Y is a causes proposition of X is an agent of Z
(=>
    (and
        (instance ?AVU AngryVoiceUtterance)
        (agent ?AVU ?A))
    (modalAttribute
        (causesProposition
            (exists (?ANG)
                (and
                    (instance ?ANG Anger)
                    (experiencer ?ANG ?A)))
            (and
                (instance ?AVU AngryVoiceUtterance)
                (agent ?AVU ?A))) Likely))		 emotion.kif 2800-2813 If X is an instance of angry voice utterance and Y is an agent of X, then the statement X is an instance of angry voice utterance, Y is an agent of X is a causes proposition of there exists Z such that Z is an instance of anger, and Y experiences Z has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners