experimentalTreatmentCollection |
appearance as argument number 1 |
(documentation experimentalTreatmentCollection EnglishLanguage "A BinaryPredicate specifying the the collection of Processes which are experimentalVariableProcesses of an Experimenting.") | UXExperimentalTerms.kif 4040-4041 | |
(domain experimentalTreatmentCollection 1 Collection) | UXExperimentalTerms.kif 4034-4034 | Die Zahl 1 Argument von experimentalTreatmentCollection ist ein fall von Collection %n{nicht} |
(domain experimentalTreatmentCollection 2 Experimenting) | UXExperimentalTerms.kif 4036-4036 | Die Zahl 2 Argument von experimentalTreatmentCollection ist ein fall von Experimenting %n{nicht} |
(instance experimentalTreatmentCollection BinaryPredicate) | UXExperimentalTerms.kif 4032-4032 | experimentalTreatmentCollection ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ") | domainEnglishFormat.kif 3366-3366 | |
(format ChineseTraditionalLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ") | domainEnglishFormat.kif 3365-3365 | |
(format EnglishLanguage experimentalTreatmentCollection "%1 are the processes in %2") | domainEnglishFormat.kif 3364-3364 | |
(termFormat EnglishLanguage experimentalTreatmentCollection "experimental treatment") | UXExperimentalTerms.kif 4038-4038 |
antecedent |
(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS)) |
UXExperimentalTerms.kif 4043-4047 |
|