Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AutomatedNotificationSystem
AutomatedNotificationSystem(automated notification system)

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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