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 24284-24287
(domain birthday 1 Human)	Mid-level-ontology.kif 24289-24289	O argumento numero 1 de birthday e' uma instancia de Humano
(domainSubclass birthday 2 Day)	Mid-level-ontology.kif 24290-24290	O argumento numero 2 de birthday e' uma sub-classe de Dia
(instance birthday BinaryPredicate)	Mid-level-ontology.kif 24288-24288	birthday e' uma instancia de Predicado Binario
(subrelation birthday anniversary)	Mid-level-ontology.kif 24291-24291	birthday e' uma sub-relacao 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 24293-24303

birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo
Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro

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

KB Term:			Term intersection

English Word: