Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HomePage(home page) |  | home_page, homepage |
| appearance as argument number 1 |
|
|
| (documentation HomePage EnglishLanguage "A homepage is an instance of a WebPage on a social networking site that can usually be accessed by pressing the ''home'' button on the site. Its main component is the NewsFeed, but it also contains references to upcoming events, people you may know, and friends who are online.") | Facebook.kif 568-572 | |
| (subclass HomePage WebPage) | Facebook.kif 574-574 | Home page is a subclass of web page |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HomePage "home page") | domainEnglishFormat.kif 64989-64989 |
| antecedent |
|
|
| (=> (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 |
|