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 è una sottoclasse di WebSite |
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 |