Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Friending(friending) |
| appearance as argument number 1 |
|
| (documentation Friending EnglishLanguage "This is a verb, coined by Facebook, that refers to the action of one FacebookUser becoming facebookFriends with another FacebookUser. This is not to be confused with Befriending.") | Facebook.kif 358-361 | |
| (subclass Friending SocialInteraction) | Facebook.kif 364-364 | Friending is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Friending "friending") | Facebook.kif 363-363 |
| antecedent |
|
|
| (=> (and (instance ?FRIENDING Friending) (agent ?FRIENDING ?A) (patient ?FRIENDING ?P)) (and (holdsDuring (BeginFn (WhenFn ?FRIENDING)) (not (facebookFriend ?A ?P))) (holdsDuring (EndFn (WhenFn ?FRIENDING)) (facebookFriend ?A ?P)))) |
Facebook.kif 369-378 | If X is an instance of friending, Y is an agent of X, and Z is a patient of X, then Facebook friend Y and Z holds during the beginning of the time of existence of X and Facebook friend Y and Z holds during the end of the time of existence of X |
| (=> (and (instance ?FRIENDING Friending) (agent ?FRIENDING ?A) (patient ?FRIENDING ?P)) (and (holdsDuring (BeginFn (WhenFn ?FRIENDING)) (facebookFriend ?A ?P)) (holdsDuring (EndFn (WhenFn ?FRIENDING)) (not (facebookFriend ?A ?P))))) |
Facebook.kif 390-399 | If X is an instance of friending, Y is an agent of X, and Z is a patient of X, then Facebook friend Y and Z holds during the beginning of the time of existence of X and Facebook friend Y and Z holds during the end of the time of existence of X |
|