Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conditionalProbability
conditionalProbability

appearance as argument number 1
-------------------------


(documentation conditionalProbability ChineseLanguage "这是其中一个基本的 ProbabilityRelations,conditionalProbability 是用来描述一个条件机率的数值。 (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) 的意思是,如果 ?FORMULA1 属真,那么 ?FORMULA2 会是真,它出现的机率会是?NUMBER。") Merge.kif 4197-4200
(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 4191-4195
(documentation conditionalProbability JapaneseLanguage "基本的な ProbabilityRelationconditionalProbability の 1 つは、条件付き確率の数値を指定するために使用される。 (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER)とは、?FORMULA1が正しいことを考えると、 ?FORMULAが正しい確率が ?NUMBER であることを意味する。") Merge.kif 4202-4205
(domain conditionalProbability 1 Formula) Merge.kif 4187-4187 The number 1 argument of conditional probability is an instance of formula
(domain conditionalProbability 2 Formula) Merge.kif 4188-4188 The number 2 argument of conditional probability is an instance of formula
(domain conditionalProbability 3 RealNumber) Merge.kif 4189-4189 The number 3 argument of conditional probability is an instance of real number
(instance conditionalProbability ProbabilityRelation) Merge.kif 4185-4185 conditional probability is an instance of probability relation
(instance conditionalProbability TernaryPredicate) Merge.kif 4186-4186 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 89-89
(format JapaneseLanguage conditionalProbability "%2 が %3 では %n 場合の %1 の probability") english_format.kif 90-90
(termFormat ChineseLanguage conditionalProbability "机率") chinese_format.kif 78-78 "机率" is the printable form of conditional probability in ChineseLanguage
(termFormat ChineseLanguage conditionalProbability "条件概率") domainEnglishFormat.kif 16441-16441 "条件概率" is the printable form of conditional probability in ChineseLanguage
(termFormat ChineseTraditionalLanguage conditionalProbability "條件概率") domainEnglishFormat.kif 16440-16440 "條件概率" is the printable form of conditional probability in ChineseTraditionalLanguage
(termFormat EnglishLanguage conditionalProbability "conditional probability") domainEnglishFormat.kif 16439-16439 "conditional probability" is the printable form of conditional probability in english language

antecedent
-------------------------


(=>
    (and
        (conditionalProbability
            (attribute ?X ComfortFood)
            (attribute ?X HeartHealthyFood) ?NUMBER1)
        (conditionalProbability
            (attribute ?X ComfortFood)
            (not
                (attribute ?X HeartHealthyFood)) ?NUMBER2))
    (lessThan ?NUMBER1 ?NUMBER2))
Dining.kif 1102-1110
(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))
Merge.kif 4254-4259
(=>
    (and
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))
Merge.kif 4229-4234
(=>
    (and
        (independentProbability ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (equal ?NUMBER2 ?NUMBER1))
Merge.kif 4279-4284
(=>
    (and
        (instance ?AGENT Agent)
        (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 729-752
(=>
    (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 511-520
(=>
    (and
        (standardRetailHours ?TIMEINT ?AGENT)
        (potentialCustomer ?C ?AGENT)
        (instance ?P IntentionalProcess)
        (destination ?P ?C)
        (instance ?START
            (StartFn ?P))
        (conditionalProbability
            (during
                (WhenFn ?START) ?TIMEINT)
            (agent ?P ?AGENT) ?NUMBER1)
        (conditionalProbability
            (not
                (during
                    (WhenFn ?START) ?TIMEINT))
            (agent ?P ?AGENT) ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))
Dining.kif 375-386

consequent
-------------------------


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (attribute ?ORGANISM ?DISEASE)
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))
WMD.kif 844-849


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners