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

Formal Language: 



KB Term:  Term intersection
English Word: 

  causesProposition

 Sigma KEE - causesProposition
causesProposition

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


(documentation causesProposition ChineseLanguage "(causesProposition ?FORMULA1 ?FORMULA2) 的意思是由 ?FORMULA1 描述事态引起或者是决定性和实质上地导致由 ?FORMULA2 描述的事态。注： 有别于 entails，?FORMULA2 发生的时间不能够早过 ?FORMULA1 发生地时间，但是 ?FORMULA1 和 ?FORMULA2 可以同时发生，也要注意的是 causesProposition 是一个谓词，而不是一个真值函数。以下的规则 (对立)不能成立：(=> (causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1)))。") chinese_format.kif 2071-2076
(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 3826-3835
(documentation causesProposition JapaneseLanguage "(causesProposition ?FORMULA1 ?FORMULA2) とは、?FORMULA1の原因によって記述された事態の状態、または機械的に事態の状態をもたらし たり、?FORMULA2の原因によって記述された事態の状態を意味する。　注１：entails とは異なり、?FORMULA2 が保持する時間は F1 が保持される時間に先行することはできないが、?FORMULA1 と ?FORMULA2は同時に 保持できる。　注２：causesProposition 述語であり、真理関数ではない。　次の規則 (逆置) は保持さ れない: causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1)))。") japanese_format.kif 717-722
(domain causesProposition 1 Formula) Merge.kif 3823-3823 引起主张 的 1 数量 是 公式 的 instance
(domain causesProposition 2 Formula) Merge.kif 3824-3824 引起主张 的 2 数量 是 公式 的 instance
(instance causesProposition AsymmetricRelation) Merge.kif 3822-3822 引起主张 是 非对称关系 的 instance
(instance causesProposition BinaryPredicate) Merge.kif 3821-3821 引起主张 是 二元谓语 的 instance

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


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

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


(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))		 Merge.kif 3837-3844

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


(=>
    (and
        (holdsDuring ?T1
            (attribute ?P InternallyDisplacedPerson))
        (instance ?T1 TimeInterval))
    (exists (?SITUATION ?T0)
        (and
            (earlier ?T0 ?T1)
            (causesProposition
                (holdsDuring ?T0
                    (fears ?P ?SITUATION))
                (holdsDuring ?T1
                    (attribute ?P InternallyDisplacedPerson))))))		 MilitaryPersons.kif 101-111
(=>
    (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 1945-1958
(=>
    (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 3665-3678
(=>
    (attribute ?A Schadenfreude)
    (exists (?A2 ?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (not
                (equal ?A ?A2))
            (not
                (desires ?A2 ?P)))))		 emotion.kif 766-775
(=>
    (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 793-803
(=>
    (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 1100-1110


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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