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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9105-9105
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") pictureList.kif 4935-4935
(subclass November Month) Merge.kif 9103-9103 十一月subclass
(successorClass November December) Merge.kif 8938-8938 successorClass 十一月 and 十二月

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


(successorClass October November) Merge.kif 8937-8937 successorClass 十月 and 十一月
(termFormat ChineseLanguage November "十一月") chinese_format.kif 1287-1287
(termFormat EnglishLanguage November "November") english_format.kif 1791-1791

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9111-9115
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9097-9101
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9107-9109

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 2849-2849 7 Day亚太经济合作 的成立 date
(dateEstablished CentralEuropeanInitiative
    (DayFn 11
        (MonthFn November
            (YearFn 1989))))
Government.kif 2957-2957 11 Day中欧倡议 的成立 date
(dateEstablished EuroAtlanticPartnershipCouncil
    (DayFn 8
        (MonthFn November
            (YearFn 1991))))
Government.kif 3149-3149 8 Day欧洲大西洋伙伴关系委员会 的成立 date
(dateEstablished InternationalCriminalTribunalForRwanda
    (DayFn 8
        (MonthFn November
            (YearFn 1994))))
Government.kif 4206-4206 8 Day卢旺达国际刑事法庭 的成立 date
(dateEstablished InternationalEnergyAgency
    (DayFn 15
        (MonthFn November
            (YearFn 1974))))
Government.kif 3488-3488 15 Day国际能源机构 的成立 date
(dateEstablished InternationalFundForAgriculturalDevelopment
    (MonthFn November
        (YearFn 1974)))
Government.kif 3519-3519 十一月 month国际农业发展基金 的成立 date
(dateEstablished InternationalOrganizationForMigration
    (DayFn 5
        (MonthFn November
            (YearFn 1951))))
Government.kif 3579-3579 5 Day国际移民组织 的成立 date
(dateEstablished UnitedNationsCivilianPoliceMissionInHaiti
    (DayFn 28
        (MonthFn November
            (YearFn 1997))))
Government.kif 3888-3888 28 Day联合国海地民警特派团 的成立 date
(dateEstablished UnitedNationsDevelopmentProgram
    (DayFn 22
        (MonthFn November
            (YearFn 1965))))
Government.kif 3900-3900 22 Day联合国发展计划 的成立 date
(dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization
    (DayFn 16
        (MonthFn November
            (YearFn 1945))))
Government.kif 3918-3918 16 Day联合国教育科学文化组织 的成立 date
(dateEstablished UnitedNationsIndustrialDevelopmentOrganization
    (DayFn 17
        (MonthFn November
            (YearFn 1966))))
Government.kif 4019-4019 17 Day联合国工业发展组织 的成立 date
(dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
    (DayFn 30
        (MonthFn November
            (YearFn 1999))))
Government.kif 4115-4115 30 Day联合国组织在刚果民主共和国的使命 的成立 date
(dateEstablished WestAfricanDevelopmentBank
    (DayFn 14
        (MonthFn November
            (YearFn 1973))))
Government.kif 4290-4290 14 Day西非开发银行 的成立 date
(dateEstablished WorldFoodProgram
    (DayFn 24
        (MonthFn November
            (YearFn 1961))))
Government.kif 4336-4336 24 Day世界粮食计划 的成立 date
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1669-1669 秋季 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