Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProfilePage(profile page) |
| appearance as argument number 1 |
|
| (documentation ProfilePage EnglishLanguage "A ProfilePage is a WebPage on which the FacebookUser's personal information is displayed.") | Facebook.kif 153-154 | |
| (subclass ProfilePage WebPage) | Facebook.kif 157-157 | Profile page is a subclass of web page |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ProfilePage "profile page") | Facebook.kif 156-156 |
| antecedent |
|
|
| (=> (instance ?PROFILE ProfilePage) (hasPurpose ?PROFILE (exists (?USER ?PAGE ?POST) (and (instance ?USER FacebookUser) (instance ?PAGE WebPage) (instance ?POST UploadingOverNetwork) (agent ?POST ?USER) (result ?POST ?PAGE) (represents ?PAGE ?USER))))) |
Facebook.kif 159-169 | If X is an instance of profile page, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of Facebook user (3) Z is an instance of web page (4) W is an instance of uploading (5) Y is an agent of W (6) Z is a result of W (7) Z expresses Y |
| (=> (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 |
|