Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Reddit
|
|
|
| appearance as argument number 1 |
|
|
| (instance Reddit WebSite) | Medicine.kif 3104-3104 | Reddit is an instance of web site |
| (documentation Reddit EnglishLanguage "The Reddit discussion site where different topics have their own portion of the site.") | Medicine.kif 3106-3107 | Reddit is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Reddit "Reddit") | Medicine.kif 3105-3105 |
|