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 24227-24230
(domain birthday 1 Human)	Mid-level-ontology.kif 24232-24232	Le nombre 1 argument de birthday est une instance de humain
(domainSubclass birthday 2 Day)	Mid-level-ontology.kif 24233-24233	Le nombre 2 argument de birthday est une sous-classe de jour
(instance birthday BinaryPredicate)	Mid-level-ontology.kif 24231-24231	birthday est une instance de pr�dicat binaire
(subrelation birthday anniversary)	Mid-level-ontology.kif 24234-24234	birthday est une sous-relation de anniversary

appearance as argument number 2

(format ChineseLanguage birthday "%1 的 birthday 是 %2 ")	domainEnglishFormat.kif 2902-2902
(format ChineseTraditionalLanguage birthday "%1 的 birthday 是 %2 ")	domainEnglishFormat.kif 2901-2901
(format EnglishLanguage birthday "%1's birthday is %2")	domainEnglishFormat.kif 2900-2900
(termFormat ChineseLanguage birthday "生日")	domainEnglishFormat.kif 11177-11177
(termFormat ChineseTraditionalLanguage birthday "生日")	domainEnglishFormat.kif 11176-11176
(termFormat EnglishLanguage birthday "birthday")	domainEnglishFormat.kif 11175-11175

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 24236-24246

birthdate humain and jour jour est une instance de le jour nombre entier positif
jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier

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

KB Term:			Term intersection

English Word: