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

Formal Language: 



KB Term:  Term intersection
English Word: 

  October

Sigma KEE - October
October(十月)

appearance as argument number 1
-------------------------


(documentation October ChineseLanguage "这是所有十月 MonthClass。") Merge.kif 9211-9211
(documentation October EnglishLanguage "The Class of all Months which are October.") Merge.kif 9210-9210
(externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") pictureList.kif 4936-4936 externalImage 十月 and "http://upload.wikimedia.org/wikipedia/commons/b/bb/ WallCalendar.jpg"
(subclass October Month) Merge.kif 9209-9209 十月subclass
(successorClass October November) Merge.kif 9056-9056 successorClass 十月 and 十一月

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


(successorClass September October) Merge.kif 9055-9055 successorClass 九月 and 十月
(termFormat ChineseLanguage October "十月") chinese_format.kif 1286-1286 termFormat ChineseLanguage, 十月 and "十月"
(termFormat EnglishLanguage October "October") english_format.kif 1939-1939 termFormat EnglishLanguage, 十月 and "October"
(termFormat JapaneseLanguage October "10月") english_format.kif 1940-1940 termFormat JapaneseLanguage, 十月 and "10月"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9217-9221
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9203-9207
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9213-9215

statement
-------------------------


(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))
Government.kif 2872-2872 dateEstablished CaribbeanDevelopmentBank and 18 day
(dateEstablished FoodAndAgricultureOrganization
    (DayFn 16
        (MonthFn October
            (YearFn 1945))))
Government.kif 3202-3202 dateEstablished FoodAndAgricultureOrganization and 16 day
(dateEstablished GroupOf10
    (MonthFn October
        (YearFn 1962)))
Government.kif 3260-3260 dateEstablished GroupOf10 and 十月 month
(dateEstablished GroupOf8
    (MonthFn October
        (YearFn 1975)))
Government.kif 3244-3244 dateEstablished GroupOf8 and 十月 month
(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))
Government.kif 3344-3344 dateEstablished InternationalAtomicEnergyAgency and 26 day
(dateEstablished LatinAmericanEconomicSystem
    (DayFn 17
        (MonthFn October
            (YearFn 1975))))
Government.kif 3569-3569 dateEstablished LatinAmericanEconomicSystem and 17 day
(dateEstablished UnitedNationsMissionInSierraLeone
    (DayFn 22
        (MonthFn October
            (YearFn 1999))))
Government.kif 4024-4024 dateEstablished UnitedNationsMissionInSierraLeone and 22 day
(dateEstablished UnitedNationsTransitionalAdministrationInEastTimor
    (DayFn 25
        (MonthFn October
            (YearFn 1999))))
Government.kif 4174-4174 dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and 25 day
(dateEstablished UniversalPostalUnion
    (DayFn 9
        (MonthFn October
            (YearFn 1874))))
Government.kif 4211-4211 dateEstablished UniversalPostalUnion and 9 day
(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4250-4250 dateEstablished WesternEuropeanUnion and 23 day
(dateEstablished WorldFederationOfTradeUnions
    (DayFn 3
        (MonthFn October
            (YearFn 1945))))
Government.kif 4275-4275 dateEstablished WorldFederationOfTradeUnions and 3 day
(dateEstablished WorldMeteorologicalOrganization
    (DayFn 11
        (MonthFn October
            (YearFn 1947))))
Government.kif 4299-4299 dateEstablished WorldMeteorologicalOrganization and 11 day
(holdsDuring
    (ImmediateFutureFn
        (DayFn 1
            (MonthFn October
                (YearFn 1992))))
    (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))
Government.kif 2732-2732 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations 在 紧接 1 day after holdsDuring


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners