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

Formal Language: 



KB Term:  Term intersection
English Word: 

  November

Sigma KEE - November
November(November)
Nov, 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 9099-9099
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") pictureList.kif 4935-4935
(subclass November Month) Merge.kif 9097-9097 November is a subclass of month
(successorClass November December) Merge.kif 8932-8932 %2 is the successorClass of %2.

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


(successorClass October November) Merge.kif 8931-8931 %2 is the successorClass of %2.
(termFormat ChineseLanguage November "十一月") chinese_format.kif 1287-1287
(termFormat EnglishLanguage November "November") english_format.kif 1791-1791

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9105-9109
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9091-9095
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9101-9103

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 2837-2837 The day 7 is a date established of asia pacific economic cooperation
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2945-2945 The day 11 is a date established of central european initiative
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3137-3137 The day 8 is a date established of euro atlantic partnership council
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4194-4194 The day 8 is a date established of international criminal tribunal for rwanda
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3476-3476 The day 15 is a date established of international energy agency
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3507-3507 The month November is a date established of international fund for agricultural development
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3567-3567 The day 5 is a date established of international organization for migration
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3876-3876 The day 28 is a date established of united nations civilian police mission in haiti
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3888-3888 The day 22 is a date established of united nations development program
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3906-3906 The day 16 is a date established of united nations educational scientific and cultural organization
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 4007-4007 The day 17 is a date established of united nations industrial development organization
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4103-4103 The day 30 is a date established of united nations organization mission in the democratic republic of the congo
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4278-4278 The day 14 is a date established of west african development bank
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4324-4324 The day 24 is a date established of world food program
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1669-1669 Fall season is equal to the recurring period from September to November


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 is open source software produced by Articulate Software and its partners