Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| finalExperimentReport |
| appearance as argument number 1 |
|
| (instance finalExperimentReport BinaryPredicate) | UXExperimentalTerms.kif 2691-2691 | final experiment report is an instance of binary predicate |
| (domain finalExperimentReport 1 ContentBearingPhysical) | UXExperimentalTerms.kif 2693-2693 | The number 1 argument of final experiment report is an instance of content bearing physical |
| (domain finalExperimentReport 2 Experimenting) | UXExperimentalTerms.kif 2695-2695 | The number 2 argument of final experiment report is an instance of experimenting |
| (documentation finalExperimentReport EnglishLanguage "(finalExperimentReport ?CBP ?EXPERIMENT) means that ?CBP is a ContentBearingPhysical which containsInformation about the result of ?EXPERIMENT.") | UXExperimentalTerms.kif 2697-2699 | The number 2 argument of final experiment report is an instance of experimenting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage finalExperimentReport "final experiment report") | UXExperimentalTerms.kif 2701-2701 | |
| (format EnglishLanguage finalExperimentReport "the final report for %2 is %1") | domainEnglishFormat.kif 3434-3434 | |
| (format ChineseTraditionalLanguage finalExperimentReport "對於 %2 的 final report 是 %1 ") | domainEnglishFormat.kif 3435-3435 | |
| (format ChineseLanguage finalExperimentReport "对于 %2 的 final report 是 %1 ") | domainEnglishFormat.kif 3436-3436 |
| antecedent |
|
|
| (=> (finalExperimentReport ?CBP ?EXPERIMENT) (exists (?RESULT) (and (result ?EXPERIMENT ?RESULT) (containsInformation ?CBP ?RESULT)))) |
UXExperimentalTerms.kif 2703-2708 | If the final report for X is Y, then there exists Z such that Z is a result of X and Y contains information Z |
| (=> (finalExperimentReport ?CBP ?EXP) (refers ?CBP ?EXP)) |
UXExperimentalTerms.kif 2710-2712 | If the final report for X is Y, then Y includes a reference to X |
|