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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - November
November

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


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

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8525-8529
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8511-8515
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8521-8523

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 2788-2788 dateEstablished AsiaPacificEconomicCooperation and DayFn 7 and MonthFn November and YearFn 1989
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2896-2896 dateEstablished CentralEuropeanInitiative and DayFn 11 and MonthFn November and YearFn 1989
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3088-3088 dateEstablished EuroAtlanticPartnershipCouncil and DayFn 8 and MonthFn November and YearFn 1991
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4145-4145 dateEstablished InternationalCriminalTribunalForRwanda and DayFn 8 and MonthFn November and YearFn 1994
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3427-3427 dateEstablished InternationalEnergyAgency and DayFn 15 and MonthFn November and YearFn 1974
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3458-3458 dateEstablished InternationalFundForAgriculturalDevelopment and MonthFn November and YearFn 1974
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3518-3518 dateEstablished InternationalOrganizationForMigration and DayFn 5 and MonthFn November and YearFn 1951
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3827-3827 dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and DayFn 28 and MonthFn November and YearFn 1997
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3839-3839 dateEstablished UnitedNationsDevelopmentProgram and DayFn 22 and MonthFn November and YearFn 1965
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3857-3857 dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and DayFn 16 and MonthFn November and YearFn 1945
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 3958-3958 dateEstablished UnitedNationsIndustrialDevelopmentOrganization and DayFn 17 and MonthFn November and YearFn 1966
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4054-4054 dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and DayFn 30 and MonthFn November and YearFn 1999
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4229-4229 dateEstablished WestAfricanDevelopmentBank and DayFn 14 and MonthFn November and YearFn 1973
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4275-4275 dateEstablished WorldFoodProgram and DayFn 24 and MonthFn November and YearFn 1961
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1619-1619 equal FallSeason and RecurrentTimeIntervalFn September and November


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