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。") chinese_format.kif 2805-2805
(documentation November EnglishLanguage "The Class of all Months which are November.") Merge.kif 9314-9314
(documentation November JapaneseLanguage "11月のすべての MonthClass。") japanese_format.kif 1546-1546
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") pictureList.kif 4933-4933
(subclass November Month) Merge.kif 9312-9312
(successorClass November December) Merge.kif 9147-9147

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


(successorClass October November) Merge.kif 9146-9146
(termFormat ChineseLanguage November "十一月") chinese_format.kif 1287-1287
(termFormat EnglishLanguage November "November") english_format.kif 1791-1791
(termFormat FrenchLanguage November "Novembre") french_format.kif 965-965
(termFormat Hindi November "navambara") terms-hindi.txt 500-500
(termFormat ItalianLanguage November "Novembre") terms-it.txt 504-504
(termFormat JapaneseLanguage November "11月") japanese_format.kif 2649-2649
(termFormat PortugueseLanguage November "Novembro") portuguese_format.kif 917-917
(termFormat cb November "nobembre") terms-cb.txt 506-506
(termFormat cz November "november") terms-cz.txt 540-540
(termFormat de November "November") terms-de.txt 799-799
(termFormat ro November "noiembrie") relations-ro.kif 986-986
(termFormat tg November "Nobyembre") terms-tg.txt 505-505

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9320-9324
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9306-9310
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9316-9318

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 ?H HarmattanSeason)
    (exists (?Y1 ?Y2)
        (and
            (instance ?Y1 Year)
            (instance ?Y2 Year)
            (meetsTemporally ?Y1 ?Y2)
            (during
                (BeginFn ?H)
                (MonthFn November ?Y1))
            (during
                (EndFn ?H)
                (MonthFn March ?Y2)))))
Weather.kif 1593-1605
(=>
    (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 2818-2818
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2926-2926
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3118-3118
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4175-4175
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3457-3457
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3488-3488
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3548-3548
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3857-3857
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3869-3869
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3887-3887
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 3988-3988
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4084-4084
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4259-4259
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4305-4305
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1962-1962


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