Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| automatedNotification |
| appearance as argument number 1 |
|
| (documentation automatedNotification EnglishLanguage "This binary relation takes an agent and a destination describes a Notification. (automatedNotification ?AGENT ?DESTINATION) describes an automated notification that is sent from ?AGENT to ?DESTINATION.") | Facebook.kif 741-744 | |
| (instance automatedNotification BinaryPredicate) | Facebook.kif 746-746 | automated notification is an instance of binary predicate |
| (domain automatedNotification 1 agent) | Facebook.kif 747-747 | The number 1 argument of automated notification is an instance of agent |
| (domain automatedNotification 2 destination) | Facebook.kif 748-748 | The number 2 argument of automated notification is an instance of destination |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage automatedNotification "automated notification") | domainEnglishFormat.kif 65788-65788 |
|