Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ProfileWall
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ProfileWall EnglishLanguage "This term refers specifically to the area on a ProfilePage where people communicate with each other. It is a Collection of StatusUpdates and WallPosts, and RecentActivity.") | Facebook.kif 171-174 | |
| (subclass ProfileWall Document) | Facebook.kif 177-177 | Profile wall is a subclass of document |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ProfileWall "profile wall") | Facebook.kif 176-176 |
| antecedent |
|
|
| (=> (instance ?WALL ProfileWall) (exists (?STATUS) (and (instance ?STATUS StatusUpdate) (part ?STATUS ?WALL)))) |
Facebook.kif 191-196 | If X is an instance of profile wall, then there exists Y such that Y is an instance of status update and Y is a part of X |
| (=> (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 |
| (=> (instance ?WALL ProfileWall) (exists (?RECENTACTIVITY) (and (instance ?RECENTACTIVITY RecentActivity) (part ?RECENTACTIVITY ?WALL)))) |
Facebook.kif 205-210 | If X is an instance of profile wall, then there exists Y such that Y is an instance of recent activity and Y is a part of X |
| consequent |
|
|
| (=> (instance ?PROFILEPAGE ProfilePage) (exists (?PROFILEWALL) (and (instance ?PROFILEWALL ProfileWall) (part ?PROFILEWALL ?PROFILEPAGE)))) |
Facebook.kif 181-186 | If X is an instance of profile page, then there exists Y such that Y is an instance of profile wall and Y is a part of X |
| (=> (and (instance ?UPDATE_EVENT StatusUpdate) (result ?UPDATE_EVENT ?CONTENT)) (exists (?WALL ?NEWSFEED) (and (instance ?NEWSFEED NewsFeed) (instance ?WALL ProfileWall) (located ?CONTENT ?WALL) (located ?CONTENT ?NEWSFEED)))) |
Facebook.kif 223-232 | If ?UPDATE_EVENT is an instance of status update and Y is a result of ?UPDATE_EVENT, then there exist Z, W such that W is an instance of news feed, Z is an instance of profile wall, Y is located at Z, and Y is located at W |
| (=> (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 |
|