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 2868-2869 | |
(subclass Blog WebSite) | ComputerInput.kif 2867-2867 |
consequent |
![]() |
(=> (instance ?ACT PostingOnBlog) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE Blog)))) |
ComputerInput.kif 2880-2885 |
![]() |
![]() |