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 2563-2566
(documentation ProbabilityFn JapaneseLanguage "基本的な ProbabilityRelation の一つは、 ProbabilityFn は、事態の先行確率を述えるために使用される。((ProbabilityFn ?FORMULA) は ?FORMULAの先行確率を示する。") japanese_format.kif 527-529
(domain ProbabilityFn 1 Formula) Merge.kif 2560-2560
(instance ProbabilityFn ProbabilityRelation) Merge.kif 2557-2557
(instance ProbabilityFn TotalValuedRelation) Merge.kif 2558-2558
(instance ProbabilityFn UnaryFunction) Merge.kif 2559-2559
(range ProbabilityFn RealNumber) Merge.kif 2561-2561

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
(format FrenchLanguage ProbabilityFn "le probabilit� de %1") french_format.kif 154-154
(format ItalianLanguage ProbabilityFn "la probabilit� di%1") relations-it.txt 232-232
(format JapaneseLanguage ProbabilityFn "%1 の probability") japanese_format.kif 1982-1982
(format PortugueseLanguage ProbabilityFn "a probabilidade de %1") portuguese_format.kif 106-106
(format de ProbabilityFn "die wahrscheinlichkeit von %1") relations-de.txt 350-350
(format hi ProbabilityFn "%1 kii sambhaavyataa") relations-hindi.txt 270-270
(format ro ProbabilityFn "probability%t{probabilitatea} lui %1") relations-ro.kif 173-173
(format sv ProbabilityFn "sannolikheten för %1") relations-sv.txt 160-160
(format tg ProbabilityFn "ang kalamangan mangyari %1") relations-tg.txt 424-424
(termFormat ChineseLanguage ProbabilityFn "可能性") domainEnglishFormat.kif 47513-47513
(termFormat ChineseLanguage ProbabilityFn "表示机率的函数") chinese_format.kif 272-272
(termFormat ChineseTraditionalLanguage ProbabilityFn "可能性") domainEnglishFormat.kif 47512-47512
(termFormat EnglishLanguage ProbabilityFn "probability") domainEnglishFormat.kif 47511-47511

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


(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))		 Merge.kif 2610-2615
(=>
    (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 18182-18196
(=>
    (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 2593-2598
(=>
    (and
        (independentProbability ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (equal ?NUMBER2 ?NUMBER1))		 Merge.kif 2627-2632
(=>
    (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 22913-22930
(=>
    (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 23721-23738
(=>
    (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 23758-23775
(=>
    (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 17414-17416
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17422-17424
(=>
    (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