Knowledge base Browser - ProbabilityFn

Browsing Interface

[ Home | Graph | ]

KB: Language:

KB Term:

English Word:

Sigma KEE - ProbabilityFn

ProbabilityFn

appearance as argument number 1

(documentation ProbabilityFn EnglishLanguage "One of the basic probability relations, probability is used to state the a priori probability of a state of affairs. (probability ?FORMULA) denotes the a priori probability of ?FORMULA.")	Merge.kif 2075-2078
(domain ProbabilityFn 1 Formula)	Merge.kif 2072-2072	The number 1 argument of probability is an instance of formula
(instance ProbabilityFn AsymmetricRelation)	Merge.kif 2074-2074	Probability is an instance of asymmetric relation
(instance ProbabilityFn ProbabilityRelation)	Merge.kif 2069-2069	Probability is an instance of probability relation
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2070-2070	Probability is an instance of total valued relation
(instance ProbabilityFn UnaryFunction)	Merge.kif 2071-2071	Probability is an instance of unary function
(range ProbabilityFn RealNumber)	Merge.kif 2073-2073	The range of probability is an instance of real number

appearance as argument number 2

(format EnglishLanguage ProbabilityFn "the probability of %1")	english_format.kif 152-152
(termFormat EnglishLanguage ProbabilityFn "probability")	domainEnglishFormat.kif 7700-7700	term format english language, probability and "probability"

antecedent

(=> (and (decreasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1))	Merge.kif 2119-2124	If a formula decreases likelihood of formula and the probability of formula is equal to a real number and probability of formula provided that formula holds is real number then real number is less than real number
(=> (and (increasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (greaterThan ?NUMBER2 ?NUMBER1))	Merge.kif 2103-2108	If a formula increases likelihood of formula and the probability of formula is equal to a real number and probability of formula provided that formula holds is real number then real number is greater than real number
(=> (and (independentProbability ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (equal ?NUMBER2 ?NUMBER1))	Merge.kif 2135-2140	If probability of a formula and formula is independent and the probability of formula is equal to a real number and probability of formula provided that formula holds is real number then real number is equal to real number
(=> (and (topSpeed ?V ?Q) (equal ?FASTPROB (ProbabilityFn (measure ?V (SpeedFn ?L1 ?T1)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (SpeedFn ?L2 ?T2)))) (greaterThan (SpeedFn ?L1 ?T1) (SpeedFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB))	Transportation.kif 1945-1959	If topSpeed a vehicle and a function quantity and a real number is equal to the probability of the measure of vehicle is a length measure per a time duration and real number is equal to the probability of the measure of vehicle is length measure per time duration and length measure per time duration is greater than length measure per time duration then real number is greater than real number

consequent

(=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART)) (and (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (part ?X ?Z)))))) (greaterThan ?PARTPROB ?NOTPARTPROB)))	Mid-level-ontology.kif 16585-16603	If typical part a object and object and a object is an instance of a object then objectPROB is equal to the probability of there exists a object so that object is an instance of object and object is a part of object and real number is equal to the probability of there doesn't exist a object so that object is an instance of object and object is a part of object and objectPROB is greater than real number
(=> (and (typicallyContainsPart ?PART ?WHOLE) (instance ?Y ?WHOLE)) (and (equal ?PARTPROB (ProbabilityFn (exists (?X) (and (instance ?X ?PART) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?X) (and (instance ?X ?PART) (part ?X ?Y)))))) (greaterThan ?PARTPROB ?NOTPARTPROB)))	Mid-level-ontology.kif 16623-16641	If typically contains part a object and object and a object is an instance of object then a objectPROB is equal to the probability of there exists a object so that object is an instance of object and object is a part of object and real number is equal to the probability of there doesn't exist object so that object is an instance of object and object is a part of object and objectPROB is greater than real number
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False))))	Merge.kif 14370-14372	If the statement a formula has the modal force of likely then the probability of formula is true is greater than the probability of formula is false
(=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True))))	Merge.kif 14378-14380	If the statement a formula has the modal force of unlikely then the probability of formula is false is greater than the probability of formula is true

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners