|
|
   Blog
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Blog EnglishLanguage "A Blog is a WebSite which one or more people can update with DigitalPosts and engaged in DigitalComments.") | ComputerInput.kif 2872-2873 | |
| (subclass Blog WebSite) | ComputerInput.kif 2871-2871 | Blog is a subclass of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Blog "blog") | domainEnglishFormat.kif 64546-64546 |
| consequent |
|
|
| (=> (instance ?ACT PostingOnBlog) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE Blog)))) |
ComputerInput.kif 2884-2889 |
|
|
|
|