Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

verringertWahrscheinlichkeit (decreasesLikelihood)

One of the basic ProbabilityRelations. (decreasesLikelihood formula1 formula2) means that formula2 is less likely to be true if formula1 is true.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  Wahrscheinlichkeitsrelation  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Prädikat  
is instance of
irreflexive Relation
is instance of
is instance of
  verringertWahrscheinlichkeit  

Coordinate term(s)

RückseiteFn  FrontseiteFn  Wahrscheinlichkeit  arctusGewicht  attribut  schreibt  vor  vorOderGleichzeitig  verursacht  causes subclass  bürger  aufgeschlossen  Abhänigkeitswahrscheinlichkeit  angeschlossen  angeschlosseneTechnikKomponenten  enthältInformationen  zusammenGeschiecht  kopie  datum  entwicklungsForm  disjunkt  istDistributiv  dokumentation  &%dauer von %1 ist %2 %n{nicht}  während  früh  herausgeber  element  beschäftigt  %1 ist gleich %2 %n{nicht}  äquivalenzrelationMit  nutztAus  inSpracheAusgedrückt  stelltGegenüber  verwandt  beendet  frequenz  graphenTeil  grösserAls  grösserAlsOderGleich  hatZweck  hatFähigkeit  hältWährend  hatVerpflichtung  hatRecht  loch  identitätsElement  inListe  imBereichInteresses  vergrössertWahrscheinlichkeit  Unabhänigkeitswahrscheinlichkeit  wohnt  hemmt  ausgangsList  fall  innenteil  umkehrFunktion  irreflexivAur  grösser  kleinerAls  kleinerAlsOderGleich  weise  material  mass  schliesstRäumlichAn  schliesstZeitlichAn  modalesAttribute  decktSichTeilweise  decktSichZeitlich  elternteil  teilweiseEinrichtung  befindetSichTeils  pfadLänge  besitzt  vorbedingung  verhindert  eigenschaft  veröffentlicht  &%bildbereich von %1 ist ein fall von %2 {nicht}  bildbereichTeilkategorie  beziehtSichAuf  reflexivAuf  verwandtesInnenkonzept  geschwister  kleiner  beginnt  teilAttribut  teilsammlung  teilGraph  teilliste  unterOrganisation  teilplan  subProzess  %1 ist eine &%teilangelegenheit von %2 %n{nicht}  teilkategorie  teilrelation  fasstInhaltsKategorieZusammen  fasstInhaltsFallZusammen  nachfolgerAttribut  nachfolgerAttributSchliessung  oberflächichesTeil  zeitlichesTeil  zeit  gesamteinrichtung  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

decreasesLikelihood(Formel, Formel)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (4)

vergrössertWahrscheinlichkeit und verringertWahrscheinlichkeit werden disjunkt. 
(disjointRelation increasesLikelihood decreasesLikelihood independentProbability)
Wenn formula1 verringert die Wahrscheinlichkeit von formula2 und "die wahrscheinlichkeit von formula2" ist gleich number1 und Gesetzt den Fall, dass formula2 gilt, ist die wahrscheinlichkeit von formula1 number2, dann number2 ist kleinerAls number1 . 
(=>
      (and
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (lessThan ?NUMBER2 ?NUMBER1))
Wenn formula1 ist ein fall von Formel und formula2 ist ein fall von Formel , dann formula1 vergrössert die Wahrscheinlichkeit von formula2 oder formula1 verringert die Wahrscheinlichkeit von formula2 oder Die wahrscheinlichkeit von formula1 und formula2 ist unabhänig . 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))
Wenn proc1 hemmt proc2, dann für jeden time,place gilt: ""es gibt ein proc1 inst1 der inst1 befindet sich an " hält während time " verringert die Wahrscheinlichkeit von ""es gibt ein proc2 inst2 der inst2 befindet sich an " hält während time " . 
(=>
      (inhibits ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (decreasesLikelihood
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST2)
                              (and
                                    (instance ?INST2 ?PROC2)
                                    (located ?INST2 ?PLACE)))))))