| 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 4646-4647 | |
| (domain orthogonalTests 1 Collection) | UXExperimentalTerms.kif 4640-4640 | |
| (domain orthogonalTests 2 Collection) | UXExperimentalTerms.kif 4642-4642 | |
| (instance orthogonalTests SymmetricRelation) | UXExperimentalTerms.kif 4638-4638 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage orthogonalTests "%1 and %2 are orthogonal tests") | domainEnglishFormat.kif 1024-1024 | |
| (termFormat EnglishLanguage orthogonalTests "managed orthogonal") | UXExperimentalTerms.kif 4644-4644 |
| 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 4661-4672 | |
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL1)) (instance ?MEMBER Experimenting)) |
UXExperimentalTerms.kif 4649-4653 | |
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL2)) (instance ?MEMBER Experimenting)) |
UXExperimentalTerms.kif 4655-4659 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners