conditionalProbability - Sigma Knowledge base Browser

appearance as argument number 1

(documentation conditionalProbability ChineseLanguage "这是其中一个基本的 ProbabilityRelations，conditionalProbability 是用来描述一个条件机率的数值。 (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) 的意思是，如果 ?FORMULA1 属真，那么 ?FORMULA2 会是真，它出现的机率会是?NUMBER。")	chinese_format.kif 1903-1906
(documentation conditionalProbability EnglishLanguage "One of the basic ProbabilityRelations. conditionalProbability is used to state the numeric value of a conditional probability. (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER.")	Merge.kif 2587-2591
(documentation conditionalProbability JapaneseLanguage "基本的な ProbabilityRelation。 conditionalProbability の 1 つは、条件付き確率の数値を指定するために使用される。 (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER)とは、?FORMULA1が正しいことを考えると、 ?FORMULAが正しい確率が ?NUMBER であることを意味する。")	japanese_format.kif 530-533
(domain conditionalProbability 1 Formula)	Merge.kif 2583-2583	The number 1 argument of conditional probability is an instance of formula
(domain conditionalProbability 2 Formula)	Merge.kif 2584-2584	The number 2 argument of conditional probability is an instance of formula
(domain conditionalProbability 3 RealNumber)	Merge.kif 2585-2585	The number 3 argument of conditional probability is an instance of real number
(instance conditionalProbability ProbabilityRelation)	Merge.kif 2581-2581	conditional probability is an instance of probability relation
(instance conditionalProbability TernaryPredicate)	Merge.kif 2582-2582	conditional probability is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage conditionalProbability "如果 %2 是正确，那 %1 的机率就 %n 是 %3")	chinese_format.kif 77-77
(format EnglishLanguage conditionalProbability "probability of %1 provided that %2 holds is %n %3")	english_format.kif 77-77
(format FrenchLanguage conditionalProbability "la probabilit� de %1 pourvu que %2 vaut %n %3")	french_format.kif 63-63
(format ItalianLanguage conditionalProbability "probabilità di %1 ammesso che %2 valga è %n %3")	relations-it.txt 49-49
(format JapaneseLanguage conditionalProbability "%2 が %3 では %n 場合の %1 の probability")	japanese_format.kif 1887-1887
(format PortugueseLanguage conditionalProbability "a probabilidade de %1 sabendo que %2 vale e' %n %3")	portuguese_format.kif 15-15
(format cb conditionalProbability "ang higayon na %1 kung %2 tinuod sa %n ay %2")	relations-cb.txt 83-83
(format cz conditionalProbability "probability of %1 provided that %2 holds %p{je} %n{nen�} %3")	relations-cz.txt 89-89
(format de conditionalProbability "Gesetzt den Fall, dass %2 gilt, ist die wahrscheinlichkeit von %1 %n{nicht} %3")	relations-de.txt 86-86
(format hi conditionalProbability "yadi %2 ghatiTa hotaa to %1 kii sambhaavanaa %3 %n hai")	relations-hindi.txt 56-56
(format ro conditionalProbability "probability%t{probabilitatea} lui %1 dat fiind faptul cã %2 apare, %n{nu} este %3")	relations-ro.kif 82-82
(format sv conditionalProbability "sannolikheten för %1 givet att %2 gäller är %n{inte} %3")	relations-sv.txt 62-62
(format tg conditionalProbability "ang pagkakataon ng %1 kung %2 totoo sa %n ay %2")	relations-tg.txt 114-114
(termFormat ChineseLanguage conditionalProbability "机率")	chinese_format.kif 78-78
(termFormat ChineseLanguage conditionalProbability "条件概率")	domainEnglishFormat.kif 16528-16528
(termFormat ChineseTraditionalLanguage conditionalProbability "條件概率")	domainEnglishFormat.kif 16527-16527
(termFormat EnglishLanguage conditionalProbability "conditional probability")	domainEnglishFormat.kif 16526-16526
(termFormat de conditionalProbability "Abhaenigkeitswahrscheinlichkeit")	terms-de.txt 23-23
(termFormat tg conditionalProbability "may pasubali pagkakataon")	relations-tg.txt 115-115

antecedent

(=> (and (conditionalProbability (attribute ?X ComfortFood) (attribute ?X HeartHealthyFood) ?NUMBER1) (conditionalProbability (attribute ?X ComfortFood) (not (attribute ?X HeartHealthyFood)) ?NUMBER2)) (lessThan ?NUMBER1 ?NUMBER2))	Dining.kif 1148-1156	If probability of comfort food is an attribute of an entity provided that heart-healthy food is an attribute of the entity holds is a real number and probability of comfort food is an attribute of the entity provided that heart-healthy food is not an attribute of the entity holds is another real number, then the real number is less than the other real number
(=> (and (decreasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1))	Merge.kif 2623-2628	If a formula decreases likelihood of another formula and the probability of the other formula is equal to a real number and probability of the formula provided that the other formula holds is another real number, then the other real number is less than the real number
(=> (and (increasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (greaterThan ?NUMBER2 ?NUMBER1))	Merge.kif 2606-2611	If a formula increases likelihood of another formula and the probability of the other formula is equal to a real number and probability of the formula provided that the other formula holds is another real number, then the other real number is greater than the real number
(=> (and (independentProbability ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (equal ?NUMBER2 ?NUMBER1))	Merge.kif 2640-2645	If probability of a formula and another formula is independent and the probability of the other formula is equal to a real number and probability of the formula provided that the other formula holds is another real number, then the other real number is equal to the real number
(=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1))	Dining.kif 772-795	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
(=> (and (instance ?D DeliveryService) (destination ?D ?LOC1) (deliveryRegion ?AGENT ?REGION) (conditionalProbability (located ?LOC1 ?REGION) (agent ?D ?AGENT) ?NUMBER1) (conditionalProbability (not (located ?LOC1 ?REGION)) (agent ?D ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1))	Dining.kif 552-561	If a process is an instance of delivery service and the process ends up at an entity and a geographic area is the delivery area of an agent and probability of the entity is located at the geographic area provided that the agent is an agent of the process holds is a real number and probability of the entity is not located at the geographic area provided that the agent is an agent of the process holds is another real number, then the other real number is less than the real number

consequent

(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (attribute ?ORGANISM ?DISEASE)))
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))

WMD.kif 890-900

If a real number is a disease mortality of a disease or syndrome,
then probability of there exists an entity such that the entity is an instance of organism and the disease or syndrome is an attribute of the entity provided that there exists another entity such that the other entity is an instance of death and the entity experiences the other entity holds is the real number

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

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

KB Term:			Term intersection

English Word: