Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FacebookUser(Facebook user) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FacebookUser "Facebook user") | Facebook.kif 331-331 |
| appearance as argument number 3 |
|
|
| (domain facebookFriend 1 FacebookUser) | Facebook.kif 351-351 | The number 1 argument of Facebook friend is an instance of Facebook user |
| (domain facebookFriend 2 FacebookUser) | Facebook.kif 352-352 | The number 2 argument of Facebook friend is an instance of Facebook user |
| antecedent |
|
|
| (=> (instance ?USER FacebookUser) (exists (?ACCOUNT) (and (instance ?ACCOUNT FacebookAccount) (hasAccount ?USER ?ACCOUNT)))) |
Facebook.kif 335-340 | If X is an instance of Facebook user, then there exists Y such that Y is an instance of Facebook account and X has account Y |
| consequent |
|
|
| (=> (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 ?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 |
| (=> (instance ?FRIENDREQUEST FriendRequest) (exists (?USER1 ?USER2 ?REQUEST) (and (instance ?REQUEST Requesting) (instance ?USER1 FacebookUser) (agent ?REQUEST ?USER1) (instance ?USER2 ComputerUser) (patient ?REQUEST ?USER2) (result ?REQUEST ?FRIENDREQUEST)))) |
Facebook.kif 596-605 | If X is an instance of friend request, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of requesting (3) Y is an instance of Facebook user (4) Y is an agent of W (5) Z is an instance of computer user (6) Z is a patient of W (7) X is a result of W |
|