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

Wahrscheinlichkeit (ProbabilityFn)

One of the basic ProbabilityRelations, ProbabilityFn is used to state the a priori probability of a state of affairs. (ProbabilityFn formula) denotes the a priori probability of formula.

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
  einstellige Funktion  
is instance of
asymmetrische Relation
is instance of
is instance of
  Wahrscheinlichkeit  

Coordinate term(s)

AbsolutbetragFn  AbstraktionFn  ArcuskosinusFn  ArcussinusFn  ArcustangensFn  RückseiteFn  AnfangFn  BeginNullPunktFn  KardinalitätFn  ObersteGrenzeFn  ErgänzungFn  KosinusFn  SchnittMengeFn  NennerFn  EndeFn  EndeNullPunktFn  ExtensionFn  UntersteGrenzeFn  FrontseiteFn  ZukunftFn  GeneralisierteDurchschnittFn  GeneralisierteVereinigungFn  GigaFn  ImaginäresTeilFn  SofortigeZukunftFn  DirektVergangenheitFn  AusgangsNullPunktFn  GanzzahlQuadratwurzelFn  KiloFn  ListeLängeFn  GrösseFn  MegaFn  MicroFn  MilliFn  MinimaleSchnittMengeFn  NanoFn  ZählerFn  OrganisationFn  VergangenheitFn  PfadGewichtfn  PicoFn  PotenzMengeFn  VorgängerFn  HauptwirtFn  EigentumFn  RationaleZahlFn  ReelleZahlfn  ReziprokerWert  RundFn  SignumFn  SinusFn  OberflächeFn  QuadratwurzelFn  NachfolgerFn  TangensFn  TeraFn  TerminalNullPunktFn  Füllefn  WennFn  JahrFn  attribut  schreibt  verursacht  causes subclass  bürger  aufgeschlossen  fülltVollständig  Abhänigkeitswahrscheinlichkeit  enthältInformationen  kreuzt  datum  verringertWahrscheinlichkeit  entwicklungsForm  dokumentation  &%dauer von %1 ist %2 %n{nicht}  herausgeber  element  äquivalenzrelationMit  nutztAus  inSpracheAusgedrückt  füllt  frequenz  graphenTeil  hatZweck  hatFähigkeit  hältWährend  hatVerpflichtung  hatRecht  loch  identitätsElement  direkterFall  direckteTeilkategorie  inListe  imBereichInteresses  vergrössertWahrscheinlichkeit  Unabhänigkeitswahrscheinlichkeit  wohnt  irreflexivAur  weise  mass  schliesstZeitlichAn  mitglied  modalesAttribute  elternteil  teilweiseEinrichtung  fülltTeilweise  pfadLänge  dringtEin  besitzt  vorbedingung  korrektesTeil  fülltRichtig  veröffentlicht  &%bildbereich von %1 ist ein fall von %2 {nicht}  bildbereichTeilkategorie  realizierung  reflexivAuf  nachfolgerAttribut  fläche  zeitlichesTeil  zeit  gesamteinrichtung  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

reelle Zahl ProbabilityFn(Formel)

Axioms (5)

Wenn formula1 vergrössert 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 grösserAls number1 . 
(=>
      (and
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (greaterThan ?NUMBER2 ?NUMBER1))
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 Die wahrscheinlichkeit von formula1 und formula2 ist unabhänig und "die wahrscheinlichkeit von formula2" ist gleich number1 und Gesetzt den Fall, dass formula2 gilt, ist die wahrscheinlichkeit von formula1 number2, dann number2 ist gleich number1 . 
(=>
      (and
            (independentProbability ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (equal ?NUMBER2 ?NUMBER1))
Wenn formula hat ein attribut likely , dann "die wahrscheinlichkeit von "formula ist true "" ist grösserAls "die wahrscheinlichkeit von "formula ist false "" . 
(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))
Wenn formula hat ein attribut unlikely , dann "die wahrscheinlichkeit von "formula ist false "" ist grösserAls "die wahrscheinlichkeit von "formula ist true "" . 
(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))