TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DigitalPost DigitalData)	ComputerInput.kif 2841-2841	Digital post is a subclass of digital data
(documentation DigitalPost EnglishLanguage "DigitalPost is WebPage content created by the users who hasAccount on a WebSite, intended (HasPurpose) for Diseminating.")	ComputerInput.kif 2842-2843	Digital post is a subclass of digital data

appearance as argument number 2

(termFormat EnglishLanguage DigitalPost "digital post")

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)))))

If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W

consequent

(=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST))))	ComputerInput.kif 2868-2873	If X is an instance of Posting, then there exists Y such that Y is an instance of digital post and Y is a result of X
(=> (instance ?COMMENT DigitalComment) (exists (?POST) (and (instance ?POST DigitalPost) (refers ?COMMENT ?POST))))	ComputerInput.kif 2880-2885	If X is an instance of digital comment, then there exists Y such that Y is an instance of digital post and X includes a reference to Y
(=> (follows ?USER1 ?USER2) (exists (?POST ?SEE) (and (instance ?POST DigitalPost) (creator ?USER2 ?POST) (instance ?SEE AccessingWebPage) (agent ?SEE ?USER1) (patient ?SEE ?POST))))	Facebook.kif 73-81	If X folows Y., then there exist Z, W such that Z is an instance of digital post, Y created Z, W is an instance of accessing web page, X is an agent of W, and Z is a patient of W