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


KB Term:  Term intersection
English Word: 

Sigma KEE - November
November(November)
Nov, November

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


(successorClass November December) Merge.kif 9236-9236 December is the successor class of November.
(subclass November Month) Merge.kif 9401-9401 November is a subclass of month
(documentation November EnglishLanguage "The Class of all Months which are November.") Merge.kif 9403-9403 November is a subclass of month
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") pictureList.kif 4933-4933 November is a subclass of month

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


(successorClass October November) Merge.kif 9235-9235 November is the successor class of October.
(termFormat EnglishLanguage November "November") english_format.kif 1795-1795 November is the successor class of October.

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9395-9399 If X is an instance of the month October and Y is an instance of the month November, then X meets Y
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9405-9407 If X is an instance of November, then duration of X is 30 day duration(s)
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9409-9413 If X is an instance of the month November and Y is an instance of the month December, then X meets Y

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 581-591 If X is an instance of hanukkah and equal Y and the beginning of X, then there exists Z such that Y is a part of Z, Z is an instance of month, and Z is an instance of November or Z is an instance of December
(=>
    (instance ?T USThanksgivingDay)
    (exists (?M)
        (and
            (instance ?M November)
            (during ?T ?M))))		 Media.kif 629-634 If X is an instance of US thanksgiving day, then there exists Y such that Y is an instance of November and X takes place during Y
(=>
    (instance ?H HarmattanSeason)
    (exists (?Y)
        (and
            (instance ?HS
                (MonthFn November
                    (YearFn ?Y)))
            (instance ?HE
                (MonthFn March
                    (YearFn
                        (AdditionFn ?Y 1))))
            (during ?H
                (IntervalFn
                    (EndFn ?HS)
                    (BeginFn ?HE))))))		 Weather.kif 2037-2050 If X is an instance of Harmattan season, then there exists Y such that Z is an instance of the month November, W is an instance of the month March, and X takes place during the interval from the end of Z to the beginning of W

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


(equal FallSeason
    (RecurrentTimeIntervalFn September November))		 Geography.kif 3117-3117 equal fall season and the recurring period from September to November
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))		 Government.kif 2849-2849 The day 7 of month the month November is a date established of asia pacific economic cooperation
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))		 Government.kif 2957-2957 The day 11 of month the month November is a date established of central european initiative
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))		 Government.kif 3149-3149 The day 8 of month the month November is a date established of euro atlantic partnership council
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))		 Government.kif 3488-3488 The day 15 of month the month November is a date established of international energy agency
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))		 Government.kif 3519-3519 The month November is a date established of international fund for agricultural development
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))		 Government.kif 3579-3579 The day 5 of month the month November is a date established of international organization for migration
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))		 Government.kif 3888-3888 The day 28 of month the month November is a date established of united nations civilian police mission in haiti
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))		 Government.kif 3900-3900 The day 22 of month the month November is a date established of united nations development program
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))		 Government.kif 3918-3918 The day 16 of month the month November is a date established of united nations educational scientific and cultural organization
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))		 Government.kif 4019-4019 The day 17 of month the month November is a date established of united nations industrial development organization
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))		 Government.kif 4115-4115 The day 30 of month the month November is a date established of united nations organization mission in the democratic republic of the congo
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))		 Government.kif 4206-4206 The day 8 of month the month November is a date established of international criminal tribunal for rwanda
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))		 Government.kif 4290-4290 The day 14 of month the month November is a date established of west african development bank
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))		 Government.kif 4336-4336 The day 24 of month the month November is a date established of world food program


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners