Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WallPost
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WallPost EnglishLanguage "A wall post is a term used in Facebook to describe what happens when someone posts something (a text post, video, photo, or link) onto a FacebookFriend's ProfileWall.") | Facebook.kif 258-261 | |
| (subclass WallPost Communication) | Facebook.kif 264-264 | Wall post is a subclass of communication |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WallPost "wall post") | Facebook.kif 263-263 | |
| (subclass TextWallPost WallPost) | Facebook.kif 301-301 | Text wall post is a subclass of wall post |
| antecedent |
|
|
| (=> (instance ?WALLPOST WallPost) (exists (?USER1 ?USER2 ?CREATION ?PROFILEWALL) (and (instance ?PROFILEWALL ProfileWall) (instance ?USER1 FacebookUser) (instance ?USER2 FacebookUser) (instance ?CREATION Creation) (refers ?PROFILEWALL ?USER2) (agent ?CREATION ?USER1) (result ?CREATION ?WALLPOST) (located ?WALLPOST ?PROFILEWALL) (not (equal ?USER1 ?USER2))))) |
Facebook.kif 266-279 | If X is an instance of wall post, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of profile wall (3) Y is an instance of Facebook user (4) Z is an instance of Facebook user (5) W is an instance of creation (6) V includes a reference to Z (7) Y is an agent of W (8) X is a result of W (9) X is located at V (10) equal Y (11) Z |
| (=> (instance ?WALLPOST WallPost) (or (instance ?WALLPOST TextWallPost) (instance ?WALLPOST MotionPicture) (instance ?WALLPOST Photograph))) |
Facebook.kif 282-287 | If X is an instance of wall post, then At least one of the following holds: (1) X is an instance of text wall post (2) X is an instance of motion picture (3) X is an instance of photograph |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?WALL ProfileWall) (exists (?WALLPOST) (and (instance ?WALLPOST WallPost) (part ?WALLPOST ?WALL)))) |
Facebook.kif 198-203 | If X is an instance of profile wall, then there exists Y such that Y is an instance of wall post and Y is a part of X |
|