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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 24176-24179
(domain birthday 1 Human) Mid-level-ontology.kif 24181-24181 birthday の数値 1 引数は 人[人間]instance では %n
(domainSubclass birthday 2 Day) Mid-level-ontology.kif 24182-24182 birthday の数値 2 引数は subclass では %n
(instance birthday BinaryPredicate) Mid-level-ontology.kif 24180-24180 birthday2進述語instance では %n
(subrelation birthday anniversary) Mid-level-ontology.kif 24183-24183 birthdayanniversarysubrelation では %n

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


        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24185-24195

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 is open source software produced by Articulate Software and its partners