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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - commemoratesDate
commemoratesDate

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


(documentation commemoratesDate EnglishLanguage "(commemoratesDate ?HOLIDAY ?DATE) means that instances of the Holiday ?HOLIDAY are observed to commemorate something that happened during the TimeInterval specified by ?DATE. For example, (commemoratesDate BastilleDay (DayFn 14 (MonthFn July (YearFn 1789)))).") Government.kif 593-597
(domain commemoratesDate 1 Holiday) Government.kif 590-590 domain commemoratesDate, 1 and Holiday
(domainSubclass commemoratesDate 2 TimeInterval) Government.kif 591-591 domainSubclass commemoratesDate, 2 and TimeInterval
(instance commemoratesDate BinaryPredicate) Government.kif 589-589 instance commemoratesDate and BinaryPredicate

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


(format ChineseLanguage commemoratesDate "%2 %n 是 %1 的 commemorates 日期") domainEnglishFormat.kif 488-488
(format ChineseTraditionalLanguage commemoratesDate "%2 %n 是 %1 的 commemorates 日期") domainEnglishFormat.kif 487-487
(format EnglishLanguage commemoratesDate "%2 is %n a commemorates date of %1") domainEnglishFormat.kif 486-486
(termFormat ChineseLanguage commemoratesDate "纪念约会") domainEnglishFormat.kif 15691-15691 termFormat ChineseLanguage, commemoratesDate and "纪念约会"
(termFormat ChineseTraditionalLanguage commemoratesDate "紀念約會") domainEnglishFormat.kif 15690-15690 termFormat ChineseTraditionalLanguage, commemoratesDate and "紀念約會"
(termFormat EnglishLanguage commemoratesDate "commemorates date") domainEnglishFormat.kif 15689-15689 termFormat EnglishLanguage, commemoratesDate and "commemorates date"

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


(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))
Government.kif 599-604
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (subclass ?HOLIDAY FixedHoliday)
        (lessThanOrEqualTo ?YEAR ?LATER-YEAR))
    (instance ?DATE
        (DayFn ?DAY
            (MonthFn ?MONTH
                (YearFn ?LATER-YEAR)))))
Government.kif 606-612


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