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

Formal Language: 



KB Term:  Term intersection
English Word: 

  November

Sigma KEE - November
November(十一月)

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


(documentation November ChineseLanguage "这是所有十一月 MonthClass。") Merge.kif 9225-9225
(documentation November EnglishLanguage "The Class of all Months which are November.") Merge.kif 9224-9224
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") pictureList.kif 4935-4935 externalImage 十一月 and "http://upload.wikimedia.org/wikipedia/commons/f/f8/ PB090036.JPG"
(subclass November Month) Merge.kif 9223-9223 十一月subclass
(successorClass November December) Merge.kif 9057-9057 successorClass 十一月 and 十二月

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


(successorClass October November) Merge.kif 9056-9056 successorClass 十月 and 十一月
(termFormat ChineseLanguage November "十一月") chinese_format.kif 1287-1287 termFormat ChineseLanguage, 十一月 and "十一月"
(termFormat EnglishLanguage November "November") english_format.kif 974-974 termFormat EnglishLanguage, 十一月 and "November"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9231-9235
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9217-9221
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9227-9229

consequent
-------------------------


(=>
    (and
        (instance ?H Hanukkah)
        (equal ?B
            (BeginFn ?H)))
    (exists (?M)
        (and
            (temporalPart ?B ?M)
            (instance ?M Month)
            (or
                (instance ?M November)
                (instance ?M December)))))
Media.kif 587-597
(=>
    (instance ?T USThanksgivingDay)
    (exists (?M)
        (and
            (instance ?M November)
            (during ?T ?M))))
Media.kif 635-640

statement
-------------------------


(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))
Government.kif 2794-2794 dateEstablished AsiaPacificEconomicCooperation and 7 day
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2902-2902 dateEstablished CentralEuropeanInitiative and 11 day
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3094-3094 dateEstablished EuroAtlanticPartnershipCouncil and 8 day
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4151-4151 dateEstablished InternationalCriminalTribunalForRwanda and 8 day
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3433-3433 dateEstablished InternationalEnergyAgency and 15 day
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3464-3464 dateEstablished InternationalFundForAgriculturalDevelopment and 十一月 month
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3524-3524 dateEstablished InternationalOrganizationForMigration and 5 day
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3833-3833 dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and 28 day
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3845-3845 dateEstablished UnitedNationsDevelopmentProgram and 22 day
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3863-3863 dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and 16 day
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 3964-3964 dateEstablished UnitedNationsIndustrialDevelopmentOrganization and 17 day
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4060-4060 dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and 30 day
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4235-4235 dateEstablished WestAfricanDevelopmentBank and 14 day
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4281-4281 dateEstablished WorldFoodProgram and 24 day
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1607-1607 FallSeason equal九月十一月再次发生所需的时间


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