Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ServiceContract
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FriendRequest EnglishLanguage "This is a term that is used specifically on Facebook. A friend request can be sent from one FacebookUser to another ComputerUser if they wish to become facebookFriends. Note that the person receiving the request does not necessarily have to be a FacebookUser because if they are not already on Facebook, then a friend request will result in their receiving an email saying that someone would like them to join Facebook.") | Facebook.kif 584-591 | |
| (subclass FriendRequest Request) | Facebook.kif 593-593 | Friend request is a subclass of request |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FriendRequest "friend request") | Facebook.kif 594-594 |
| antecedent |
|
|
| (=> (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 |
|