TreeView Knowledge Base Browser

appearance as argument number 1

(documentation TopNewsFeed EnglishLanguage "There are two ways to look at Facebook's NewsFeed: the TopNewsFeed and the MostRecentFeed. The TopNewsFeed shows posts that Facebook believes are the most relevant to the user. These posts are determined by an algorithm that takes into account factors such as how many facebookFriends are commenting on a post and how often you interact with those friends.")	Facebook.kif 428-433
(subclass TopNewsFeed Text)	Facebook.kif 434-434	Top news feed is a subclass of text

appearance as argument number 2

(termFormat EnglishLanguage TopNewsFeed "top news feed")

consequent

(=>
    (and
        (instance ?NEWSFEED NewsFeed)
        (located ?NEWSFEED Facebook))
    (exists (?TOPNEWS)
        (and
            (instance ?TOPNEWS TopNewsFeed)
            (component ?TOPNEWS ?NEWSFEED))))

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