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 十一月subclass
(successorClass November December) Merge.kif 9147-9147 successorClass 十一月 and 十二月

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


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

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 7 Day亚太经济合作 的成立 date
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2926-2926 11 Day中欧倡议 的成立 date
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3118-3118 8 Day欧洲大西洋伙伴关系委员会 的成立 date
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4175-4175 8 Day卢旺达国际刑事法庭 的成立 date
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3457-3457 15 Day国际能源机构 的成立 date
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3488-3488 十一月 month国际农业发展基金 的成立 date
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3548-3548 5 Day国际移民组织 的成立 date
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3857-3857 28 Day联合国海地民警特派团 的成立 date
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3869-3869 22 Day联合国发展计划 的成立 date
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3887-3887 16 Day联合国教育科学文化组织 的成立 date
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 3988-3988 17 Day联合国工业发展组织 的成立 date
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4084-4084 30 Day联合国组织在刚果民主共和国的使命 的成立 date
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4259-4259 14 Day西非开发银行 的成立 date
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4305-4305 24 Day世界粮食计划 的成立 date
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1824-1824 equal 秋季 and 从九月十一月再次发生所需的时间


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