TreeView Knowledge Base Browser - AutomatedNotificationSystem

appearance as argument number 1

(documentation AutomatedNotificationSystem EnglishLanguage "An automated notification system is an AutomatedSystem that deals specifically with Notifications. It is set to send out a notification every time some criteria is met. This criteria could include the occurrence of a ReccurentTimePoint or a significant drop in one's bank account.")	Facebook.kif 676-681
(subclass AutomatedNotificationSystem AutomatedSystem)	Facebook.kif 683-683	Automated notification system is a subclass of automated system

appearance as argument number 2

(termFormat EnglishLanguage AutomatedNotificationSystem "automated notification system")

domainEnglishFormat.kif 64496-64496

antecedent

(=> (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
(=> (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

consequent

(=>
    (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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: