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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - November
November(11月)

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 9299-9299
(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 9297-9297 11月subclass では
(successorClass November December) Merge.kif 9132-9132 successorClass 11月 and 12月

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9305-9309
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9291-9295
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9301-9303

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 Harmattan)
    (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 1587-1599
(=>
    (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 AsiaPacificEconomicCooperation and 7 day
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2926-2926 dateEstablished CentralEuropeanInitiative and 11 day
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3118-3118 dateEstablished EuroAtlanticPartnershipCouncil and 8 day
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4175-4175 dateEstablished InternationalCriminalTribunalForRwanda and 8 day
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3457-3457 dateEstablished InternationalEnergyAgency and 15 day
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3488-3488 dateEstablished InternationalFundForAgriculturalDevelopment and 11月 month
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3548-3548 dateEstablished InternationalOrganizationForMigration and 5 day
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3857-3857 dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and 28 day
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3869-3869 dateEstablished UnitedNationsDevelopmentProgram and 22 day
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3887-3887 dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and 16 day
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 3988-3988 dateEstablished UnitedNationsIndustrialDevelopmentOrganization and 17 day
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4084-4084 dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and 30 day
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4259-4259 dateEstablished WestAfricanDevelopmentBank and 14 day
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4305-4305 dateEstablished WorldFoodProgram and 24 day
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1654-1654 FallSeason は the recurring period from 9月 to 11月equal では


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