Posting
|
|
appearance as argument number 1 |
(documentation Posting EnglishLanguage "Posting is a Process for creating DigitalPosts.") | ComputerInput.kif 2848-2849 | |
(subclass Posting ContentDevelopment) | ComputerInput.kif 2846-2846 | Posting は コンテンツ開発 の subclass では %n |
(subclass Posting NetworkCommunication) | ComputerInput.kif 2847-2847 | Posting は NetworkCommunication の subclass では %n |
appearance as argument number 2 |
(subclass Crossposting Posting) | ComputingBrands.kif 4637-4637 | Crossposting は Posting の subclass では %n |
(termFormat EnglishLanguage Posting "Posting") | ComputerInput.kif 2850-2850 |
antecedent |
(=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST)))) |
ComputerInput.kif 2852-2857 |
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 4643-4658 |
|