causesProposition - Sigma Knowledge base Browser

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	The number 1 argument of causes proposition is an instance of formula
(domain causesProposition 2 Formula)	Merge.kif 3824-3824	The number 2 argument of causes proposition is an instance of formula
(instance causesProposition AsymmetricRelation)	Merge.kif 3822-3822	causes proposition is an instance of asymmetric relation
(instance causesProposition BinaryPredicate)	Merge.kif 3821-3821	causes proposition is an instance of binary predicate

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 13522-13522
(termFormat ChineseTraditionalLanguage causesProposition "引起提案")	domainEnglishFormat.kif 13521-13521
(termFormat EnglishLanguage causesProposition "causes proposition")	domainEnglishFormat.kif 13520-13520

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

If a formula holds during a time interval and another formula holds during another time interval and the other time interval is an instance of time interval and the time interval is an instance of time interval and the formula is a causes proposition of the other formula,
then the beginning of the other time interval happens before or at the beginning of the time interval

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	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exist another entity and another time interval such that the other time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
(=> (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	If a process is an instance of angry voice utterance and an agent is an agent of the process, then the statement the process is an instance of angry voice utterance and the agent is an agent of the process is a causes proposition of there exists the agentNG such that the agentNG is an instance of anger and the agent experiences the agentNG has the modal force of likely
(=> (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	If a process is an instance of gaslighting and an agent is an agent of the process and another agent suffers from the process, then there exists another process such that the other process is an instance of perception and the other agent experiences the other process and the other agent doesn't know an entity is a result of the other process is a causes proposition of the other agent suffers from the process
(=> (attribute ?A Schadenfreude) (exists (?A2 ?P) (and (causesProposition ?P (attribute ?A Schadenfreude)) (not (equal ?A ?A2)) (not (desires ?A2 ?P)))))	emotion.kif 766-775	If schadenfreude is an attribute of an object, then there exist the object2 and a formula such that schadenfreude is an attribute of the object is a causes proposition of the formula and the object is not equal to the object2 and the object2 doesn't desire the formula
(=> (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	If sensory pleasure is an attribute of an entity holds during a time interval, then there exists a physical such that the physical is an instance of perception and the time interval takes place during the time of existence of the physical and sensory pleasure is an attribute of the entity holds during the time interval is a causes proposition of the entity experiences the physical
(=> (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	If sexual pleasure is an attribute of an entity holds during a time interval, then there exists a physical such that the physical is an instance of mating and the time interval takes place during the time of existence of the physical and sexual pleasure is an attribute of the entity holds during the time interval is a causes proposition of the entity is an agent 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: