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 9201-9201
(documentation November JapaneseLanguage "11月のすべての MonthClass。") japanese_format.kif 1546-1546
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") pictureList.kif 4934-4934
(subclass November Month) Merge.kif 9199-9199 11月subclass では %n
(successorClass November December) Merge.kif 9034-9034 successorClass 11月 and 12月

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


(successorClass October November) Merge.kif 9033-9033 successorClass 10月 and 11月
(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 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 9207-9211
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9193-9197
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9203-9205

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 2857-2857 dateEstablished AsiaPacificEconomicCooperation and 7 day
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2965-2965 dateEstablished CentralEuropeanInitiative and 11 day
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3157-3157 dateEstablished EuroAtlanticPartnershipCouncil and 8 day
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4214-4214 dateEstablished InternationalCriminalTribunalForRwanda and 8 day
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3496-3496 dateEstablished InternationalEnergyAgency and 15 day
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3527-3527 dateEstablished InternationalFundForAgriculturalDevelopment and 11月 month
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3587-3587 dateEstablished InternationalOrganizationForMigration and 5 day
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3896-3896 dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and 28 day
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3908-3908 dateEstablished UnitedNationsDevelopmentProgram and 22 day
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3926-3926 dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and 16 day
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 4027-4027 dateEstablished UnitedNationsIndustrialDevelopmentOrganization and 17 day
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4123-4123 dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and 30 day
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4298-4298 dateEstablished WestAfricanDevelopmentBank and 14 day
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4344-4344 dateEstablished WorldFoodProgram and 24 day
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1666-1666 FallSeason は the recurring period from 9月 to 11月equal では %n


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