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

Formal Language: 



KB Term:  Term intersection
English Word: 

  decreasesLikelihood

 Sigma KEE - decreasesLikelihood
decreasesLikelihood

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


(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2600-2600 decreasesLikelihood et independentProbability sont disjoint
(documentation decreasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 不太 可能会是真的。") chinese_format.kif 1910-1912 decreasesLikelihood et independentProbability sont 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 2619-2621 decreasesLikelihood et independentProbability sont disjoint
(documentation decreasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可 能性が高いことを意味する。") japanese_format.kif 537-539 decreasesLikelihood et independentProbability sont disjoint
(domain decreasesLikelihood 1 Formula) Merge.kif 2616-2616 Le nombre 1 argument de decreasesLikelihood est une instance de formule
(domain decreasesLikelihood 2 Formula) Merge.kif 2617-2617 Le nombre 2 argument de decreasesLikelihood est une instance de formule
(instance decreasesLikelihood BinaryPredicate) Merge.kif 2614-2614 decreasesLikelihood est une instance de pr�dicat binaire
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2615-2615 decreasesLikelihood est une instance de relation irr�flexive
(instance decreasesLikelihood ProbabilityRelation) Merge.kif 2613-2613 decreasesLikelihood est une instance de relation de probabilit�

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


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

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


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

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


(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))		 Merge.kif 2647-2654
(=>
    (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 4400-4411
(=>
    (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 4320-4333
(=>
    (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 3543-3567
(=>
    (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 1050-1066
(=>
    (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 3979-3997

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 est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM
(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 18460-18477 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ


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