Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| orthogonalTests |
| appearance as argument number 1 |
|
| (instance orthogonalTests BinaryPredicate) | UXExperimentalTerms.kif 4440-4440 | managed orthogonal is an instance of binary predicate |
| (instance orthogonalTests SymmetricRelation) | UXExperimentalTerms.kif 4441-4441 | managed orthogonal is an instance of symmetric relation |
| (domain orthogonalTests 1 Collection) | UXExperimentalTerms.kif 4443-4443 | The number 1 argument of managed orthogonal is an instance of collection |
| (domain orthogonalTests 2 Collection) | UXExperimentalTerms.kif 4445-4445 | The number 2 argument of managed orthogonal is an instance of collection |
| (documentation orthogonalTests EnglishLanguage "A SymmetricRelation between two Collections of Experimentings signfying that experimentalSubjects can be shared between them.") | UXExperimentalTerms.kif 4449-4450 | The number 2 argument of managed orthogonal is an instance of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage orthogonalTests "managed orthogonal") | UXExperimentalTerms.kif 4447-4447 | |
| (format EnglishLanguage orthogonalTests "%1 and %2 are orthogonal tests") | domainEnglishFormat.kif 4060-4060 | |
| (format ChineseTraditionalLanguage orthogonalTests "%1 和 %2 是 orthogonal tests ") | domainEnglishFormat.kif 4061-4061 | |
| (format ChineseLanguage orthogonalTests "%1 和 %2 是 orthogonal tests ") | domainEnglishFormat.kif 4062-4062 |
| antecedent |
|
|
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL1)) (instance ?MEMBER Experimenting)) |
UXExperimentalTerms.kif 4452-4456 | If X and Y are orthogonal tests and Z is a member of X, then Z is an instance of experimenting |
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL2)) (instance ?MEMBER Experimenting)) |
UXExperimentalTerms.kif 4458-4462 | If X and Y are orthogonal tests and Z is a member of Y, then Z is an instance of experimenting |
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 ?CLASS1) (subclass ?CLASS1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?CLASS1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2 ?CLASS2) (and (instance ?EXPERIMENT2 ?CLASS2) (member ?EXPERIMENT2 ?TESTCOL2) (subclass ?CLASS2 Experimenting) (capability ?CLASS2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4464-4477 | If All of the following hold: (1) X and Y are orthogonal tests (2) Z is an instance of human (3) W is an instance of V (4) V is a subclass of experimenting (5) W is a member of X (6) Z is capable of doing V as a experimental subject, then there exist U, T such that U is an instance of T, U is a member of Y, T is a subclass of experimenting, and Z is capable of doing T as a experimental subject |
|