| 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 2477-2480 | |
| (domain ProbabilityFn 1 Formula) | Merge.kif 2474-2474 | |
| (instance ProbabilityFn ProbabilityRelation) | Merge.kif 2471-2471 | |
| (instance ProbabilityFn TotalValuedRelation) | Merge.kif 2472-2472 | |
| (instance ProbabilityFn UnaryFunction) | Merge.kif 2473-2473 | |
| (range ProbabilityFn RealNumber) | Merge.kif 2475-2475 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ProbabilityFn "%1 的机率") | chinese_format.kif 271-271 | |
| (format EnglishLanguage ProbabilityFn "the probability of %1") | english_format.kif 279-279 | |
| (termFormat ChineseLanguage ProbabilityFn "可能性") | domainEnglishFormat.kif 47411-47411 | |
| (termFormat ChineseLanguage ProbabilityFn "表示机率的函数") | chinese_format.kif 272-272 | |
| (termFormat ChineseTraditionalLanguage ProbabilityFn "可能性") | domainEnglishFormat.kif 47410-47410 | |
| (termFormat EnglishLanguage ProbabilityFn "probability") | domainEnglishFormat.kif 47409-47409 |
| antecedent |
|
|
| (=> (and (decreasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2524-2529 | |
| (=> (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 16068-16082 | |
| (=> (and (governorSpeed ?V ?Q) (equal ?FASTPROB (ProbabilityFn (measure ?V (PerFn ?L1 ?T1)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (PerFn ?L2 ?T2)))) (greaterThan (PerFn ?L1 ?T1) (PerFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB)) |
Cars.kif 2869-2883 | |
| (=> (and (increasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (greaterThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2507-2512 | |
| (=> (and (independentProbability ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (equal ?NUMBER2 ?NUMBER1)) |
Merge.kif 2541-2546 | |
| (=> (and (topSpeed ?V ?Q) (equal ?FASTPROB (ProbabilityFn (measure ?V (SpeedFn ?L1 ?T1)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (SpeedFn ?L2 ?T2)))) (greaterThan (SpeedFn ?L1 ?T1) ?V) (greaterThan ?V (SpeedFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB)) |
Transportation.kif 1711-1726 | |
| (=> (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 20746-20763 | |
| (=> (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 21590-21607 | |
| (=> (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 1449-1466 | |
| (=> (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 21627-21644 | |
| (=> (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 1489-1506 |
| consequent |
|
|
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 660-666 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 702-708 | |
| (=> (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 4002-4012 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 16320-16322 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 16328-16330 | |
| (=> (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB) (exists (?POP1 ?POP2 ?EXPERIMENT) (and (instance ?POP_COLL1 Collection) (instance ?POP_COLL2 Collection) (statisticalPopulation ?SAMPLE_COLL1 ?POP_COLL1 ?EXPERIMENT) (statisticalPopulation ?SAMPLE_COLL2 ?POP_COLL2 ?EXPERIMENT) (equal ?PROB (ProbabilityFn (equal ?POP1 ?POP2)))))) |
UXExperimentalTerms.kif 747-757 |
|
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