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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProbabilityFn

 Sigma KEE - ProbabilityFn
ProbabilityFn

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


(documentation ProbabilityFn ChineseLanguage "这是其中一个基本的 ProbabilityRelation， ProbabilityFn 是用来描述事态的先验机率。(ProbabilityFn ?FORMULA)表示 ?FORMULA 的先验机率。") chinese_format.kif 1901-1902
(documentation ProbabilityFn EnglishLanguage "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.") Merge.kif 2553-2556
(domain ProbabilityFn 1 Formula) Merge.kif 2550-2550
(instance ProbabilityFn ProbabilityRelation) Merge.kif 2547-2547
(instance ProbabilityFn TotalValuedRelation) Merge.kif 2548-2548
(instance ProbabilityFn UnaryFunction) Merge.kif 2549-2549
(range ProbabilityFn RealNumber) Merge.kif 2551-2551

appearance as argument number 2
-------------------------


(format ChineseLanguage ProbabilityFn "%1 的机率") chinese_format.kif 271-271
(format EnglishLanguage ProbabilityFn "the probability of %1") english_format.kif 276-276
(termFormat ChineseLanguage ProbabilityFn "可能性") domainEnglishFormat.kif 47478-47478
(termFormat ChineseLanguage ProbabilityFn "表示机率的函数") chinese_format.kif 272-272
(termFormat ChineseTraditionalLanguage ProbabilityFn "可能性") domainEnglishFormat.kif 47477-47477
(termFormat EnglishLanguage ProbabilityFn "probability") domainEnglishFormat.kif 47476-47476

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


(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))		 Merge.kif 2600-2605
(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?P ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))		 Mid-level-ontology.kif 18155-18169
(=>
    (and
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Cars.kif 2884-2902
(=>
    (and
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))		 Merge.kif 2583-2588
(=>
    (and
        (independentProbability ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (equal ?NUMBER2 ?NUMBER1))		 Merge.kif 2617-2622
(=>
    (and
        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
        (greaterThan
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Transportation.kif 1718-1736
(=>
    (and
        (typicalAction ?PROCESS ?AGENT)
        (instance ?A ?AGENT)
        (equal ?PPROB
            (ProbabilityFn
                (exists (?X)
                    (and
                        (instance ?X ?PROCESS)
                        (agent ?X ?A)))))
        (equal ?NOTPPROB
            (ProbabilityFn
                (not
                    (exists (?Y)
                        (and
                            (instance ?Y ?PROCESS)
                            (agent ?Y ?A)))))))
    (greaterThan ?PPROB ?NOTPPROB))		 Mid-level-ontology.kif 22782-22799
(=>
    (and
        (typicalPart ?PART ?WHOLE)
        (instance ?X ?PART)
        (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 23590-23607
(=>
    (and
        (typicalTemporalPart ?PART ?WHOLE)
        (instance ?X ?PART)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?Y)
                    (and
                        (instance ?Y ?WHOLE)
                        (temporalPart ?X ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?Z)
                        (and
                            (instance ?Z ?WHOLE)
                            (temporalPart ?X ?Z)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))		 Cars.kif 1453-1470
(=>
    (and
        (typicallyContainsPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X1)
                    (and
                        (instance ?X1 ?PART)
                        (part ?X1 ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X2)
                        (and
                            (instance ?X2 ?PART)
                            (part ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))		 Mid-level-ontology.kif 23627-23644
(=>
    (and
        (typicallyContainsTemporalPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X1)
                    (and
                        (instance ?X1 ?PART)
                        (temporalPart ?X1 ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X2)
                        (and
                            (instance ?X2 ?PART)
                            (temporalPart ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))		 Cars.kif 1493-1510

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


(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 664-670
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 706-712
(=>
    (emotionTendency ?A ?ES)
    (greaterThan
        (ProbabilityFn
            (attribute ?A ?ES))
        (ProbabilityFn
            (not
                (attribute ?A ?ES)))))		 emotion.kif 146-153
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?FORMULA ?RESULT)
        (and
            (instance ?RESULT Formula)
            (result ?EXPERIMENT ?RESULT)
            (instance ?FORMULA Formula)
            (patient ?EXPERIMENT ?FORMULA)
            (represents
                (ProbabilityFn ?FORMULA) ?RESULT))))		 UXExperimentalTerms.kif 4006-4016
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17380-17382
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17388-17390
(=>
    (standardRetailHours ?TIMEINT ?AGENT)
    (exists (?FT ?T ?C ?SRH ?NONSRH)
        (and
            (instance ?FT FinancialTransaction)
            (agent ?FT ?AGENT)
            (instance ?T ?TIMEINT)
            (destination ?FT ?C)
            (equal ?SRH
                (ProbabilityFn
                    (and
                        (during
                            (WhenFn ?FT) ?T)
                        (customer ?C ?AGENT))))
            (equal ?NONSRH
                (ProbabilityFn
                    (and
                        (not
                            (during
                                (WhenFn ?FT) ?T))
                        (customer ?C ?AGENT))))
            (greaterThan ?SRH ?NONSRH))))		 Dining.kif 388-407
(=>
    (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
    (exists (?POP1 ?POP2 ?EXPERIMENT)
        (and
            (instance ?POP1 Collection)
            (instance ?POP2 Collection)
            (statisticalPopulation ?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)
            (statisticalPopulation ?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)
            (equal ?PROB
                (ProbabilityFn
                    (equal ?POP1 ?POP2))))))		 UXExperimentalTerms.kif 751-761


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

Show without tree


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