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 2611-2611 decreasesLikelihood と independentProbability は disjoint では
(documentation decreasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 不太 可能会是真的。") chinese_format.kif 1910-1912 decreasesLikelihood と independentProbability は disjoint では
(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 2630-2632 decreasesLikelihood と independentProbability は disjoint では
(documentation decreasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可 能性が高いことを意味する。") japanese_format.kif 537-539 decreasesLikelihood と independentProbability は disjoint では
(domain decreasesLikelihood 1 Formula) Merge.kif 2627-2627 decreasesLikelihood の数値 1 引数は 公式 の instance では
(domain decreasesLikelihood 2 Formula) Merge.kif 2628-2628 decreasesLikelihood の数値 2 引数は 公式 の instance では
(instance decreasesLikelihood BinaryPredicate) Merge.kif 2625-2625 decreasesLikelihood は 2進述語 の instance では
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2626-2626 decreasesLikelihood は 非反射関係 の instance では
(instance decreasesLikelihood ProbabilityRelation) Merge.kif 2624-2624 decreasesLikelihood は 確率関係 の instance では

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


(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2609-2609 increasesLikelihood と decreasesLikelihood は disjoint では
(format ChineseLanguage decreasesLikelihood "%1 %n{doesn't} 减少 %2 发生的机率") chinese_format.kif 89-89 increasesLikelihood と decreasesLikelihood は disjoint では
(format EnglishLanguage decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2") english_format.kif 89-89 increasesLikelihood と decreasesLikelihood は disjoint では
(format FrenchLanguage decreasesLikelihood "%1 %n{ne} diminue %n{pas} la probabilit� de %2") french_format.kif 67-67 increasesLikelihood と decreasesLikelihood は disjoint では
(format JapaneseLanguage decreasesLikelihood "%1 は %2 を decrease%p{s} %n{ない} 可能性がある") japanese_format.kif 1893-1893 increasesLikelihood と decreasesLikelihood は disjoint では
(format PortugueseLanguage decreasesLikelihood "%1 %n{nao} diminui %n a probabilidade de %2") portuguese_format.kif 19-19 increasesLikelihood と decreasesLikelihood は disjoint では
(format cz decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2") relations-cz.txt 91-91 increasesLikelihood と decreasesLikelihood は disjoint では
(format de decreasesLikelihood "%1 verringert die Wahrscheinlichkeit von %2 %n{nicht}") relations-de.txt 98-98 increasesLikelihood と decreasesLikelihood は disjoint では
(format hi decreasesLikelihood "%1 %2 kii sambhaavanaa ko ghaTaataa %n{nahiin} hai") relations-hindi.txt 108-108 increasesLikelihood と decreasesLikelihood は disjoint では
(format ro decreasesLikelihood "%1 %n{nu} decrease%t{reduce} probabilitatea lui %2") relations-ro.kif 86-86 increasesLikelihood と decreasesLikelihood は disjoint では
(format sv decreasesLikelihood "%1 minskar %n{inte} sannolikheten för %2") relations-sv.txt 66-66 increasesLikelihood と decreasesLikelihood は disjoint では
(format tg decreasesLikelihood "%1 %n ay nagbabawas ang malamang sa %2") relations-tg.txt 150-150 increasesLikelihood と decreasesLikelihood は disjoint では
(format tg decreasesLikelihood "%1 %n ay ngbabawas ang malamang sa %2") relations-cb.txt 101-101 increasesLikelihood と decreasesLikelihood は disjoint では
(termFormat ChineseLanguage decreasesLikelihood "降低可能性") chinese_format.kif 90-90 increasesLikelihood と decreasesLikelihood は disjoint では
(termFormat ChineseTraditionalLanguage decreasesLikelihood "降低可能性") domainEnglishFormat.kif 18842-18842 increasesLikelihood と decreasesLikelihood は disjoint では
(termFormat EnglishLanguage decreasesLikelihood "decreases likelihood") domainEnglishFormat.kif 18841-18841 increasesLikelihood と decreasesLikelihood は disjoint では
(termFormat de decreasesLikelihood "verringertWahrscheinlichkeit") terms-de.txt 27-27 increasesLikelihood と decreasesLikelihood は disjoint では
(termFormat tg decreasesLikelihood "nagbabawas malamang") relations-tg.txt 151-151 increasesLikelihood と decreasesLikelihood は disjoint では

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


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

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


(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))		 Merge.kif 2658-2665
(=>
    (hinders ?X ?PROC)
    (exists (?L ?T)
        (decreasesLikelihood
            (and
                (equal
                    (WhenFn ?X) ?T)
                (eventLocated ?X ?L))
            (holdsDuring ?T
                (exists (?Y)
                    (and
                        (instance ?Y ?PROC)
                        (eventLocated ?Y ?L)))))))		 Merge.kif 4425-4436
(=>
    (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 4347-4360
(=>
    (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 3619-3643
(=>
    (instance ?TA TranexamicAcid)
    (hasPurpose ?TA
        (exists (?P)
            (and
                (instance ?P Human)
                (decreasesLikelihood
                    (exists (?I)
                        (and
                            (instance ?I Ingesting)
                            (objectTransferred ?I ?TA)
                            (destination ?I ?P)))
                    (exists (?P ?B)
                        (and
                            (instance ?P Human)
                            (instance ?B Bleeding)
                            (origin ?B ?P))))))))		 Medicine.kif 1042-1058
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE ?T)
            (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 1016-1034
(=>
    (instance ?X SteeringColumnLock)
    (hasPurpose ?X
        (exists (?SC ?P ?CAR ?T)
            (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 4055-4073

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 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE は ?SUBSTANCE の instance では ?THERAPY は ?PROCESS の instance では ?ORGANISM が ?THERAPY を experiences ?SAMPLE は ?THERAPY の patient では は ?SYMPTOM は ?ORGANISM の attribute では を decreases 可能性がある
(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 19773-19790 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では ?CUT は 切断 の instance では ?X は ?CUT の instrument では ?PAPER は Paper の instance では ?PAPER は ?CUT の patient では ?CBO は ?PAPER に located して ?CBO は VisualContentBearingObject の instance では ?CBO は ?INFO の情報を contains は ?READ ?READ は Interpreting の instance では ?INFO は ?READ の patient では ?CUT の time の existence は ?READ の time の existence より earlier happens を decreases 可能性がある


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