Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NewsFeed(news feed) |
| appearance as argument number 1 |
|
| (documentation NewsFeed EnglishLanguage "This is a term that refers to a 'news feed' on a social networking site. A news feed is where a given person can see the activity of others in their network.") | Facebook.kif 421-423 | |
| (subclass NewsFeed Text) | Facebook.kif 424-424 | News feed is a subclass of text |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NewsFeed "news feed") | Facebook.kif 426-426 |
| antecedent |
|
|
| (=> (and (instance ?NEWSFEED NewsFeed) (located ?NEWSFEED Facebook)) (exists (?TOPNEWS) (and (instance ?TOPNEWS TopNewsFeed) (component ?TOPNEWS ?NEWSFEED)))) |
Facebook.kif 437-444 | If X is an instance of news feed and X is located at Facebook, then there exists Y such that Y is an instance of top news feed and Y is a component of X |
| (=> (and (instance ?NEWSFEED NewsFeed) (located ?NEWSFEED Facebook)) (exists (?MOSTRECENT) (and (instance ?MOSTRECENT MostRecentFeed) (component ?MOSTRECENT ?NEWSFEED)))) |
Facebook.kif 453-460 | If X is an instance of news feed and X is located at Facebook, then there exists Y such that Y is an instance of most recent feed and Y is a component of X |
| consequent |
|
|
| (=> (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 ?HOMEPAGE HomePage) (exists (?NEWSFEED) (and (instance ?NEWSFEED NewsFeed) (component ?NEWSFEED ?HOMEPAGE)))) |
Facebook.kif 577-582 | If X is an instance of home page, then there exists Y such that Y is an instance of news feed and Y is a component of X |
|