Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  commemoratesDate

 Sigma KEE - commemoratesDate
commemoratesDate

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


(instance commemoratesDate BinaryPredicate) Government.kif 566-566 commemorates date is an instance of binary predicate
(domainSubclass commemoratesDate 1 Holiday) Government.kif 567-567 The number 1 argument of commemorates date is a subclass of holiday
(domainSubclass commemoratesDate 2 TimeInterval) Government.kif 568-568 The number 2 argument of commemorates date is a subclass of timeframe
(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 570-574 The number 2 argument of commemorates date is a subclass of timeframe

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


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

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


(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))		 Government.kif 576-581 If the day X of month the month Y is a commemorates date of Z, W is an instance of Z, and V is an instance of the year U, then W doesn't happen earlier than V
(=>
    (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 583-589 If the day X of month the month Y is a commemorates date of Z, W is an instance of Z, Z is a subclass of fixed holiday, and V is less than or equal to ?LATER_YEAR, then W is an instance of the day X of month the month Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners