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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - decreasesLikelihood
decreasesLikelihood

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


(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2468-2468
(documentation decreasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation, (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真,那么 ?FORMULA2 不太 可能会是真的。") chinese_format.kif 1910-1912
(documentation decreasesLikelihood EnglishLanguage "One of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.") Merge.kif 2487-2489
(domain decreasesLikelihood 1 Formula) Merge.kif 2484-2484
(domain decreasesLikelihood 2 Formula) Merge.kif 2485-2485
(instance decreasesLikelihood BinaryPredicate) Merge.kif 2482-2482
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2483-2483
(instance decreasesLikelihood ProbabilityRelation) Merge.kif 2481-2481

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


(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2466-2466
(format ChineseLanguage decreasesLikelihood "%1 %n{doesn't} 减少 %2 发生的机率") chinese_format.kif 89-89
(format EnglishLanguage decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2") english_format.kif 89-89
(termFormat ChineseLanguage decreasesLikelihood "降低可能性") chinese_format.kif 90-90
(termFormat ChineseTraditionalLanguage decreasesLikelihood "降低可能性") domainEnglishFormat.kif 18762-18762
(termFormat EnglishLanguage decreasesLikelihood "decreases likelihood") domainEnglishFormat.kif 18761-18761

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


(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))
Merge.kif 2491-2496

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


(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))
Merge.kif 2515-2522
(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instrument ?CUT ?X))
    (hasPurpose ?CUT
        (=>
            (and
                (instance ?CBO VisualContentBearingObject)
                (containsInformation ?CBO ?INFO)
                (instance ?PAPER Paper)
                (located ?CBO ?PAPER))
            (decreasesLikelihood
                (patient ?CUT ?PAPER)
                (exists (?READ)
                    (and
                        (instance ?READ Interpreting)
                        (patient ?READ ?INFO)
                        (earlier
                            (WhenFn ?CUT)
                            (WhenFn ?READ))))))))
Mid-level-ontology.kif 15884-15904
(=>
    (hinders ?X ?PROC)
    (decreasesLikelihood
        (and
            (equal
                (WhenFn ?X) ?T)
            (eventLocated ?X ?L))
        (holdsDuring ?T
            (exists (?Y)
                (and
                    (instance ?Y ?PROC)
                    (eventLocated ?Y ?L))))))
Merge.kif 4069-4079
(=>
    (hindersSubclass ?PROC1 ?PROC2)
    (forall (?TIME ?PLACE)
        (decreasesLikelihood
            (holdsDuring ?TIME
                (exists (?INST1)
                    (and
                        (instance ?INST1 ?PROC1)
                        (eventLocated ?INST1 ?PLACE))))
            (holdsDuring ?TIME
                (exists (?INST2)
                    (and
                        (instance ?INST2 ?PROC2)
                        (eventLocated ?INST2 ?PLACE)))))))
Merge.kif 3989-4002
(=>
    (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 3534-3558
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE)
            (and
                (instance ?TANK GasTank)
                (hole ?HOLE ?TANK)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (and
                            (connected ?X ?HOLE)
                            (attribute ?X Locked)))
                    (holdsDuring ?T
                        (exists (?STEAL ?FUEL)
                            (and
                                (instance ?STEAL Stealing)
                                (instance ?FUEL Fuel)
                                (located ?FUEL ?TANK)
                                (patient ?STEAL ?FUEL)))))))))
Cars.kif 1006-1024
(=>
    (instance ?X SteeringColumnLock)
    (hasPurpose ?X
        (exists (?SC ?P ?CAR)
            (and
                (instance ?SC SteeringColumn)
                (instance ?CAR Automobile)
                (component ?SC ?CAR)
                (part ?X ?SC)
                (instance ?P Protecting)
                (instrument ?P ?X)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (attribute ?X Locked))
                    (holdsDuring ?T
                        (exists (?STEAL)
                            (and
                                (instance ?STEAL Stealing)
                                (patient ?STEAL ?CAR)))))))))
Cars.kif 3966-3984

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


(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SAMPLE))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 879-887


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