Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LiveTestUpdate
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LiveTestUpdate Text) | ComputerInput.kif 3031-3031 | LTU is a subclass of text |
| (documentation LiveTestUpdate EnglishLanguage "A report of an eBay experiment. This used to be a live report as an experiment was occurring, but the historical name has been kept, even though it now denotes a report after conclusion of the test.") | ComputerInput.kif 3033-3036 | LTU is a subclass of text |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LiveTestUpdate "LTU") | ComputerInput.kif 3032-3032 |
|