DigitalPost |
appearance as argument number 1 |
(documentation DigitalPost EnglishLanguage "DigitalPost is WebPage content created by the users who hasAccount on a WebSite, intended (HasPurpose) for Diseminating.") | ComputerInput.kif 2826-2827 | |
(subclass DigitalPost DigitalData) | ComputerInput.kif 2825-2825 |
appearance as argument number 2 |
(termFormat EnglishLanguage DigitalPost "digital post") | ComputerInput.kif 2828-2828 |
antecedent |
(=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W))))) |
ComputerInput.kif 2830-2844 |
consequent |
(=> (instance ?COMMENT DigitalComment) (exists (?POST) (and (instance ?POST DigitalPost) (refers ?COMMENT ?POST)))) |
ComputerInput.kif 2864-2869 | |
(=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST)))) |
ComputerInput.kif 2852-2857 |