Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crossposting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Crossposting Posting) | ComputingBrands.kif 4548-4548 | Crossposting is a subclass of Posting |
| (documentation Crossposting EnglishLanguage "Posting the same information to different WebSites, social media sites or email lists. This is generally considered bad etiquette.") | ComputingBrands.kif 4549-4551 | Crossposting is a subclass of Posting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crossposting "crossposting") | ComputingBrands.kif 4552-4552 |
| antecedent |
|
|
| (=> (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 |
|