Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| experimentID |
| appearance as argument number 1 |
|
| (instance experimentID BinaryPredicate) | UXExperimentalTerms.kif 4010-4010 | experiment identifier string is an instance of binary predicate |
| (domain experimentID 1 Identifier) | UXExperimentalTerms.kif 4012-4012 | The number 1 argument of experiment identifier string is an instance of identifier |
| (domain experimentID 2 Experimenting) | UXExperimentalTerms.kif 4014-4014 | The number 2 argument of experiment identifier string is an instance of experimenting |
| (documentation experimentID EnglishLanguage "(experimentID ?STRING ?EXP) Associates an Identifer ?STRING to a Experimenting ?EXP. They are likely to be unique.") | UXExperimentalTerms.kif 4016-4017 | The number 2 argument of experiment identifier string is an instance of experimenting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage experimentID "experiment identifier string") | UXExperimentalTerms.kif 4019-4019 | |
| (format EnglishLanguage experimentID "the ID of %2 is %1") | domainEnglishFormat.kif 3374-3374 | |
| (format ChineseTraditionalLanguage experimentID "%2 的 ID 是 %1 ") | domainEnglishFormat.kif 3375-3375 | |
| (format ChineseLanguage experimentID "%2 的 ID 是 %1 ") | domainEnglishFormat.kif 3376-3376 |
| antecedent |
|
|
| (=> (experimentID ?STRING ?EXP) (represents ?STRING ?USER)) |
UXExperimentalTerms.kif 4021-4023 | If the ID of X is Y, then Y expresses Z |
|