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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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)))。") Merge.kif 3953-3958
(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 3943-3952
(domain causesProposition 1 Formula) Merge.kif 3941-3941 causesProposition 的 1 数量 是 公式instance
(domain causesProposition 2 Formula) Merge.kif 3942-3942 causesProposition 的 2 数量 是 公式instance
(instance causesProposition AsymmetricRelation) Merge.kif 3940-3940 causesProposition非对称关系instance
(instance causesProposition BinaryPredicate) Merge.kif 3939-3939 causesProposition二元谓语instance

appearance as argument number 2

(format EnglishLanguage causesProposition "%2 is %n a causes proposition of %1") domainEnglishFormat.kif 107-107
(termFormat EnglishLanguage causesProposition "causes proposition") domainEnglishFormat.kif 2674-2674 termFormat EnglishLanguage, causesProposition and "causes proposition"


        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
        (BeginFn ?T1)
        (BeginFn ?T2)))
Merge.kif 3960-3967


        (holdsDuring ?T1
            (attribute ?P InternallyDisplacedPerson))
        (instance ?T1 TimeInterval))
    (exists (?SITUATION)
            (earlier ?T0 ?T1)
                (holdsDuring ?T0
                    (fears ?P ?SITUATION))
                (holdsDuring ?T1
                    (attribute ?P InternallyDisplacedPerson))))))
MilitaryPersons.kif 101-111

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners