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

Formal Language: 



KB Term:  Term intersection
English Word: 

  commemoratesDate

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 600-604
(domain commemoratesDate 1 Holiday) Government.kif 597-597 commemoratesDate 的 1 数量 是 Holidayinstance
(domainSubclass commemoratesDate 2 TimeInterval) Government.kif 598-598 commemoratesDate 的 2 数量 是 时距subclass
(instance commemoratesDate BinaryPredicate) Government.kif 596-596 commemoratesDate二元谓语instance

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


(format EnglishLanguage commemoratesDate "%2 is %n a commemorates date of %1") domainEnglishFormat.kif 131-131
(termFormat EnglishLanguage commemoratesDate "commemorates date") domainEnglishFormat.kif 3048-3048 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 606-611
(=>
    (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 613-619


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