Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

increases likelihood (increasesLikelihood)

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

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  pravděpodobnostní relace  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  binární predikát  
is instance of
ireflexivní relace
is instance of
is instance of
  increases likelihood  

Související termín(y)

back fn  front fn  probability fn  arc weight  attribute  authors  before  before or equal  causes  causes subclass  citizen  closed on  conditional probability  connected  connected engineering components  contains information  cooccur  copy  date  decreases likelihood  developmental form  disjoint  distributes  documentation  duration  during  earlier  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  in list  in scope of interest  independent probability  inhabits  inhibits  initial list  instance  interior part  inverse  irreflexive on  larger  less than  less than or equal to  manner  material  measure  meets spatially  meets temporally  modal attribute  overlaps partially  overlaps temporally  parent  partial ordering on  partly located  path length  possesses  precondition  prevents  property  publishes  range  range subclass  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub organizations  sub plan  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  superficial part  temporal part  time  total ordering on  trichotomizing on  uses  valence  version 

Typy argumentů

increasesLikelihood(formule, formule)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (3)

increases likelihood and decreases likelihood are disjoint. 
(disjointRelation increasesLikelihood decreasesLikelihood independentProbability)
Jestliže formula1 increases likelihood of formula2 a "probability fn(formula2)" se rovná number1 a probability of formula1 provided that formula2 holds je formula2, potom number2 je větší než number1. 
(=>
      (and
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (greaterThan ?NUMBER2 ?NUMBER1))
Jestliže formula1 je instancí třídy formule a formula2 je instancí třídy formule, potom formula1 increases likelihood of formula2 nebo formula1 decreases likelihood of formula2 nebo probability of formula1 and formula2 je independent. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))