TreeView 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 2822-2823
(subclass DigitalPost DigitalData)	ComputerInput.kif 2821-2821	Digital post is a subclass of digital data

appearance as argument number 2

(termFormat EnglishLanguage DigitalPost "digital post")

ComputerInput.kif 2824-2824

antecedent

(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A Agent)
        (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 2826-2840

consequent

(=> (instance ?COMMENT DigitalComment) (exists (?POST) (and (instance ?POST DigitalPost) (refers ?COMMENT ?POST))))	ComputerInput.kif 2860-2865	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 2848-2853	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