Posting - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Posting ContentDevelopment)	ComputerInput.kif 2862-2862	Posting is a subclass of content development
(subclass Posting NetworkCommunication)	ComputerInput.kif 2863-2863	Posting is a subclass of network communication
(documentation Posting EnglishLanguage "Posting is a Process for creating DigitalPosts.")	ComputerInput.kif 2864-2865	Posting is a subclass of network communication

appearance as argument number 2

(termFormat EnglishLanguage Posting "Posting")	ComputerInput.kif 2866-2866
(subclass Crossposting Posting)	ComputingBrands.kif 4548-4548	Crossposting is a subclass of Posting

antecedent

(=>
    (instance ?P Posting)
    (exists (?POST)
        (and
            (instance ?POST DigitalPost)
            (result ?P ?POST))))

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

consequent

(=> (instance ?C Crossposting) (exists (?I ?P1 ?P2 ?D1 ?D2) (and (instance ?P1 Posting) (instance ?P2 Posting) (containsInformation ?P1 ?I) (containsInformation ?P1 ?I) (destination ?P1 ?D1) (destination ?P2 ?D2) (not (equal ?P1 ?P2)) (not (equal ?D1 ?D2)) (subProcess ?P1 ?C) (subProcess ?P2 ?C))))	ComputingBrands.kif 4554-4569	If X is an instance of crossposting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Z is an instance of Posting (3) W is an instance of Posting (4) Z contains information Y (5) Z contains information Y (6) Z ends up at V (7) W ends up at U (8) equal Z (9) W (10) equal V (11) U (12) Z is a subprocess of X (13) W is a subprocess of X
(=> (instance ?STATUS_UPDATE StatusUpdate) (exists (?POST) (and (instance ?POST Posting) (result ?POST ?STATUS_UPDATE))))	Facebook.kif 247-252	If ?STATUS_UPDATE is an instance of status update, then there exists Y such that Y is an instance of Posting and ?STATUS_UPDATE is a result of Y
(=> (instance ?WALLPOST WallPost) (exists (?POST) (and (instance ?POST Posting) (result ?WALLPOST ?POST))))	Facebook.kif 289-294	If X is an instance of wall post, then there exists Y such that Y is an instance of Posting and Y is a result of X