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 | DigitalPost ist eine teilkategorie von DigitalData |
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 |
|