Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BirthdayNotification(birthday notification) |
| appearance as argument number 1 |
|
| (documentation BirthdayNotification EnglishLanguage "On many social networking sites, a user is notified when someone with whom they are connected has a birthday. For instance, on Facebook, a FacebookUser is notified every time a facebookFriend has a birthday.") | Facebook.kif 694-698 | |
| (subclass BirthdayNotification Notification) | Facebook.kif 700-700 | Birthday notification is a subclass of notification |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BirthdayNotification "birthday notification") | domainEnglishFormat.kif 64544-64544 |
| antecedent |
|
|
| (=> (instance ?BIRTHDAYNOTIFICATION BirthdayNotification) (exists (?AUTONOTIFY ?PROCESS) (and (instance ?AUTONOTIFY AutomatedNotificationSystem) (agent ?PROCESS ?AUTONOTIFY) (result ?PROCESS ?BIRTHDAYNOTIFICATION)))) |
Facebook.kif 702-708 | If X is an instance of birthday notification, then there exist Y, Z such that Y is an instance of automated notification system, Y is an agent of Z, and X is a result of Z |
| (=> (instance ?BIRTHDAYNOTIFICATION BirthdayNotification) (exists (?PERSON ?CLASS ?DAY) (and (birthday ?PERSON ?CLASS) (instance ?DAY ?CLASS) (holdsDuring ?DAY (represents ?BIRTHDAYNOTIFICATION ?PERSON))))) |
Facebook.kif 711-718 | If X is an instance of birthday notification, then there exist Y, Z, W such that Y's birthday is Z, W is an instance of Z, and X expresses Y holds during W |
| (=> (and (instance ?USER1 SocialNetworkingUser) (birthday ?USER1 ?CLASS) (instance ?DAY ?CLASS) (instance ?AUTONOTIFY AutomatedNotificationSystem) (agent ?PROCESS ?AUTONOTIFY) (result ?PROCESS ?BIRTHDAYNOTIFICATION) (instance ?BIRTHDAYNOTIFICATION BirthdayNotification) (represents ?BIRTHDAYNOTIFICATION ?USER1)) (holdsDuring ?DAY (forall (?USER2) (=> (and (instance ?USER2 SocialNetworkingUser) (connectedInSocialNetwork ?USER1 ?USER2)) (destination ?PROCESS ?USER2))))) |
Facebook.kif 723-739 | If All of the following hold: (1) X is an instance of social networking user (2) X's birthday is Y (3) Z is an instance of Y (4) W is an instance of automated notification system (5) W is an agent of V (6) U is a result of V (7) U is an instance of birthday notification (8) U expresses X, then For all Entity T: if T is an instance of social networking user and connected in social network X and T, then V ends up at T |
|