Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  birthday

Sigma KEE - birthday
birthday

appearance as argument number 1
-------------------------


(documentation birthday EnglishLanguage "(birthday ?PERSON ?DAY) means that ?DAY is the anniversary each year of the birth of ?PERSON. For example, (birthday WilliamJeffersonClinton (DayFn 19 August)) means that Bill Clinton's birthday is August 19th.") Mid-level-ontology.kif 21913-21916
(domain birthday 1 Human) Mid-level-ontology.kif 21918-21918
(domain birthday 2 Day) Mid-level-ontology.kif 21919-21919
(instance birthday BinaryPredicate) Mid-level-ontology.kif 21917-21917
(subrelation birthday anniversary) Mid-level-ontology.kif 21920-21920

appearance as argument number 2
-------------------------


(format EnglishLanguage birthday "%1's birthday is %2") domainEnglishFormat.kif 734-734
(termFormat EnglishLanguage birthday "birthday") domainEnglishFormat.kif 2286-2286

antecedent
-------------------------


(=>
    (and
        (instance ?USER1 SocialNetworkingUser)
        (birthday ?USER1 ?DAY)
        (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 689-704

consequent
-------------------------


(=>
    (instance ?BIRTHDAYNOTIFICATION BirthdayNotification)
    (exists (?PERSON ?DAY)
        (and
            (birthday ?PERSON ?DAY)
            (holdsDuring ?DAY
                (represents ?BIRTHDAYNOTIFICATION ?PERSON)))))
Facebook.kif 680-686


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners