Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Notifying(notifying) |
| appearance as argument number 1 |
|
| (documentation Notifying EnglishLanguage "This is an instance of Stating in which the recipient of the Statement was not already aware of the Statement being made.") | Facebook.kif 613-615 | |
| (subclass Notifying Stating) | Facebook.kif 617-617 | Notifying is a subclass of stating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Notifying "notifying") | domainEnglishFormat.kif 65253-65253 |
| antecedent |
|
|
| (=> (and (instance ?NOTIFY Notifying) (instance ?AGENT CognitiveAgent) (containsFormula ?NOTIFY ?FORMULA) (destination ?NOTIFY ?AGENT)) (not (holdsDuring (BeginFn (WhenFn ?NOTIFY)) (knows ?AGENT ?FORMULA)))) |
Facebook.kif 620-630 | If X is an instance of notifying, Y is an instance of cognitive agent, X contains the formula Z, and X ends up at Y, then Y doesn't know Z doesn't hold during the beginning of the time of existence of X |
| (=> (and (instance ?NOTIFY Notifying) (result ?NOTIFY ?NOTIFICATION) (instance ?NOTIFICATION Statement)) (instance ?NOTIFICATION Notification)) |
Facebook.kif 639-644 | If X is an instance of notifying, Y is a result of X, and Y is an instance of statement, then Y is an instance of notification |
| (=> (and (instance ?AUTONOTIFY AutomatedNotificationSystem) (instance ?AUTOPROCESS AutomatedProcess) (instance ?AUTOPROCESS Notifying) (instance ?NOTIFICATION Notification) (agent ?AUTOPROCESS ?AUTONOTIFY)) (result ?AUTOPROCESS ?NOTIFICATION)) |
Facebook.kif 685-692 | If X is an instance of automated notification system, Y is an instance of automated process, Y is an instance of notifying, Z is an instance of notification, and X is an agent of Y, then Z is a result of Y |
|