successEvent |
appearance as argument number 1 |
(documentation successEvent EnglishLanguage "(successEvent ?EXP ?PROC) specifies that Process ?PROC is a SuccessEvent of Experimenting - i.e. that it is used as the dependent variable being tracked.") | UXExperimentalTerms.kif 4388-4390 | |
(domain successEvent 1 Experimenting) | UXExperimentalTerms.kif 4384-4384 | Le nombre 1 argument de successEvent est une instance de Experimenting |
(domain successEvent 2 Process) | UXExperimentalTerms.kif 4386-4386 | Le nombre 2 argument de successEvent est une instance de processus |
(instance successEvent BinaryPredicate) | UXExperimentalTerms.kif 4380-4380 | successEvent est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage successEvent "%1 的 success event 是 %2 ") | domainEnglishFormat.kif 4714-4714 | |
(format ChineseTraditionalLanguage successEvent "%1 的 success event 是 %2 ") | domainEnglishFormat.kif 4713-4713 | |
(format EnglishLanguage successEvent "the success event of %1 is %2") | domainEnglishFormat.kif 4712-4712 | |
(termFormat EnglishLanguage successEvent "exclusive") | UXExperimentalTerms.kif 4382-4382 |
consequent |
(=> (exclusiveEvent ?EXP ?PROC) (successEvent ?EXP ?PROC)) |
UXExperimentalTerms.kif 4341-4343 |