orthogonalTests |
appearance as argument number 1 |
![]() |
(documentation orthogonalTests EnglishLanguage "A SymmetricRelation between two Collections of Experimentings signfying that experimentalSubjects can be shared between them.") | UXExperimentalTerms.kif 4652-4653 | |
(domain orthogonalTests 1 Collection) | UXExperimentalTerms.kif 4646-4646 | |
(domain orthogonalTests 2 Collection) | UXExperimentalTerms.kif 4648-4648 | |
(instance orthogonalTests SymmetricRelation) | UXExperimentalTerms.kif 4644-4644 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage orthogonalTests "%1 和 %2 是 orthogonal tests ") | domainEnglishFormat.kif 4059-4059 | |
(format ChineseTraditionalLanguage orthogonalTests "%1 和 %2 是 orthogonal tests ") | domainEnglishFormat.kif 4058-4058 | |
(format EnglishLanguage orthogonalTests "%1 and %2 are orthogonal tests") | domainEnglishFormat.kif 4057-4057 | |
(termFormat EnglishLanguage orthogonalTests "managed orthogonal") | UXExperimentalTerms.kif 4650-4650 |
antecedent |
![]() |
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2) (and (instance ?EXPERIMENT2 Experimenting) (member ?EXPERIMENT2 ?TESTCOL2) (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4667-4678 | |
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL1)) (instance ?MEMBER Experimenting)) |
UXExperimentalTerms.kif 4655-4659 | |
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL2)) (instance ?MEMBER Experimenting)) |
UXExperimentalTerms.kif 4661-4665 |
![]() |
![]() |