DigitalPost - Sigma Knowledge base Browser

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	Digital post is a subclass of digital data

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	If an entity is an instance of digital comment, then there exists another entity such that the other entity is an instance of digital post and the entity includes a reference to the other entity
(=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST))))	ComputerInput.kif 2852-2857	If a process is an instance of Posting, then there exists the processOST such that the processOST is an instance of digital post and the processOST is a result of the process