| 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 | 表示机率的函数 的 1 数量 是 公式 的 instance |
| (instance ProbabilityFn ProbabilityRelation) | Merge.kif 2547-2547 | 表示机率的函数 是 概率关系 的 instance |
| (instance ProbabilityFn TotalValuedRelation) | Merge.kif 2548-2548 | 表示机率的函数 是 总值关系 的 instance |
| (instance ProbabilityFn UnaryFunction) | Merge.kif 2549-2549 | 表示机率的函数 是 一元函数 的 instance |
| (range ProbabilityFn RealNumber) | Merge.kif 2551-2551 | 表示机率的函数 的 range 是 实数 的实例 |
| 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 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