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

Formal Language: 



KB Term:  Term intersection
English Word: 

  increasesLikelihood

Sigma KEE - increasesLikelihood
increasesLikelihood

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


(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2557-2557 disjointRelation increasesLikelihood and decreasesLikelihood
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2558-2558 disjointRelation increasesLikelihood and independentProbability
(documentation increasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation, (increasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真,那么 ?FORMULA2 更有 可能会是真的。") chinese_format.kif 1907-1909
(documentation increasesLikelihood EnglishLanguage "One of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.") Merge.kif 2561-2563
(domain increasesLikelihood 1 Formula) Merge.kif 2555-2555 domain increasesLikelihood, 1 and Formula
(domain increasesLikelihood 2 Formula) Merge.kif 2556-2556 domain increasesLikelihood, 2 and Formula
(instance increasesLikelihood BinaryPredicate) Merge.kif 2553-2553 instance increasesLikelihood and BinaryPredicate
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2554-2554 instance increasesLikelihood and IrreflexiveRelation
(instance increasesLikelihood ProbabilityRelation) Merge.kif 2552-2552 instance increasesLikelihood and ProbabilityRelation

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


(format ChineseLanguage increasesLikelihood "%1 %n{doesn't} 增加 %2 发生的机率") chinese_format.kif 125-125
(format EnglishLanguage increasesLikelihood "%1 %n{doesn't} increase%p{s} likelihood of %2") english_format.kif 126-126
(termFormat ChineseLanguage increasesLikelihood "增加可能性") domainEnglishFormat.kif 29531-29531
(termFormat ChineseLanguage increasesLikelihood "提高可能性") chinese_format.kif 126-126
(termFormat ChineseTraditionalLanguage increasesLikelihood "增加可能性") domainEnglishFormat.kif 29530-29530
(termFormat EnglishLanguage increasesLikelihood "increases likelihood") domainEnglishFormat.kif 29529-29529

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


(=>
    (and
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))
Merge.kif 2565-2570

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


(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))
Merge.kif 2606-2613
(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (exists (?HARM ?THIEF ?T ?L)
        (hasPurpose ?X
            (=>
                (and
                    (or
                        (instance ?HARM Stealing)
                        (instance ?HARM Damaging))
                    (instance ?THIEF Human)
                    (agent ?HARM ?THIEF)
                    (patient ?HARM ?CAR)
                    (equal
                        (WhenFn ?HARM) ?T)
                    (eventPartlyLocated ?HARM ?L))
                (exists (?ALARM)
                    (and
                        (instance ?ALARM RadiatingSound)
                        (agent ?ALARM ?X)
                        (causes ?HARM ?ALARM)
                        (hasPurpose ?ALARM
                            (increasesLikelihood
                                (exists (?WITNESS)
                                    (and
                                        (instance ?WITNESS Human)
                                        (holdsDuring ?T
                                            (orientation ?WITNESS ?L Near))))
                                (or
                                    (knows ?WITNESS
                                        (exists (?H)
                                            (and
                                                (or
                                                    (instance ?H Stealing)
                                                    (instance ?H Damaging))
                                                (eventPartlyLocated ?H ?L)
                                                (holdsDuring ?T
                                                    (patient ?H ?CAR)))))
                                    (finishes
                                        (WhenFn ?ALARM)
                                        (WhenFn ?HARM)))))))))))
Cars.kif 3710-3751
(=>
    (diseaseSymptom ?DISEASE ?SYMPTOM)
    (exists (?ORGANISM)
        (increasesLikelihood
            (attribute ?ORGANISM ?DISEASE)
            (attribute ?ORGANISM ?SYMPTOM))))
WMD.kif 877-882
(=>
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
    (exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?DISEASE))
            (increasesLikelihood
                (and
                    (instance ?PROC ?PROCESS)
                    (temporalPart
                        (WhenFn ?PROC) ?TIME)
                    (experiencer ?PROC ?ORGANISM)
                    (patient ?PROC ?SAMPLE)
                    (instance ?SAMPLE ?SUBSTANCE))
                (holdsDuring
                    (ImmediateFutureFn ?TIME)
                    (not
                        (attribute ?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
(=>
    (instance ?SV SafetyVest)
    (hasPurpose ?SV
        (exists (?PERSON ?SPECTATOR)
            (and
                (instance ?PERSON Animal)
                (instance ?SPECTATOR Human)
                (increasesLikelihood
                    (wears ?PERSON ?SV)
                    (exists (?SEE)
                        (and
                            (instance ?SEE Seeing)
                            (patient ?SEE ?PERSON)
                            (experiencer ?SEE ?SPECTATOR))))
                (decreasesLikelihood
                    (exists (?SEE)
                        (and
                            (instance ?SEE Seeing)
                            (patient ?SEE ?PERSON)
                            (experiencer ?SEE ?SPECTATOR)))
                    (exists (?INJ)
                        (and
                            (instance ?INJ Injuring)
                            (agent ?INJ ?SPECTATOR)
                            (patient ?INJ ?PERSON))))))))
Cars.kif 3558-3582
(=>
    (pathologicSymptom ?D ?S)
    (exists (?O)
        (increasesLikelihood
            (attribute ?O ?D)
            (exists (?I)
                (and
                    (instance ?I ?S)
                    (experiencer ?I ?O))))))
Merge.kif 10369-10377

appearance as argument number 0
-------------------------


(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 767-773 increasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE instance ?PROCESS and ?PROCESSTYPE experiencer ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM


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