| 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, 1 and Collection |
| (domain orthogonalTests 2 Collection) | UXExperimentalTerms.kif 4648-4648 | domain orthogonalTests, 2 and Collection |
| (instance orthogonalTests SymmetricRelation) | UXExperimentalTerms.kif 4644-4644 | instance orthogonalTests and SymmetricRelation |
| 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 | termFormat EnglishLanguage, orthogonalTests and "managed orthogonal" |
| 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 |
|
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