TreeView Knowledge Base Browser

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 26511-26514
(instance birthday BinaryPredicate)	Mid-level-ontology.kif 26515-26515	birthday is an instance of binary predicate
(domain birthday 1 Human)	Mid-level-ontology.kif 26516-26516	The number 1 argument of birthday is an instance of human
(domainSubclass birthday 2 Day)	Mid-level-ontology.kif 26517-26517	The number 2 argument of birthday is a subclass of day
(subrelation birthday anniversary)	Mid-level-ontology.kif 26518-26518	birthday is a subrelation of anniversary

appearance as argument number 2

(format EnglishLanguage birthday "%1's birthday is %2")	domainEnglishFormat.kif 2896-2896
(format ChineseTraditionalLanguage birthday "%1 的 birthday 是 %2 ")	domainEnglishFormat.kif 2897-2897
(format ChineseLanguage birthday "%1 的 birthday 是 %2 ")	domainEnglishFormat.kif 2898-2898
(termFormat EnglishLanguage birthday "birthday")	domainEnglishFormat.kif 11183-11183
(termFormat ChineseTraditionalLanguage birthday "生日")	domainEnglishFormat.kif 11184-11184
(termFormat ChineseLanguage birthday "生日")	domainEnglishFormat.kif 11185-11185

antecedent

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

consequent

(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 26520-26530	If X is a birthdate of Y and X is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that Y's birthday is V (3) V is a subclass of day (4) U is an instance of integer (5) equal V (6) the day Z of month the month W (7) U is greater than T
(=> (instance ?BIRTHDAYNOTIFICATION BirthdayNotification) (exists (?PERSON ?CLASS ?DAY) (and (birthday ?PERSON ?CLASS) (instance ?DAY ?CLASS) (holdsDuring ?DAY (represents ?BIRTHDAYNOTIFICATION ?PERSON)))))	Facebook.kif 711-718	If X is an instance of birthday notification, then there exist Y, Z, W such that Y's birthday is Z, W is an instance of Z, and X expresses Y holds during W