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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - October
October(10月)

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


(documentation October ChineseLanguage "这是所有十月 MonthClass。") chinese_format.kif 2804-2804
(documentation October EnglishLanguage "The Class of all Months which are October.") Merge.kif 9187-9187
(documentation October JapaneseLanguage "10月のすべての MonthClass。") japanese_format.kif 1545-1545
(externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") pictureList.kif 4935-4935
(subclass October Month) Merge.kif 9185-9185 10月subclass では %n
(successorClass October November) Merge.kif 9033-9033 successorClass 10月 and 11月

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


(successorClass September October) Merge.kif 9032-9032 successorClass 9月 and 10月
(termFormat ChineseLanguage October "十月") chinese_format.kif 1286-1286
(termFormat EnglishLanguage October "October") english_format.kif 1789-1789
(termFormat FrenchLanguage October "Octobre") french_format.kif 964-964
(termFormat Hindi October "aktUbara") terms-hindi.txt 499-499
(termFormat ItalianLanguage October "Ottobre") terms-it.txt 503-503
(termFormat JapaneseLanguage October "10月") japanese_format.kif 2648-2648
(termFormat PortugueseLanguage October "Outubro") portuguese_format.kif 916-916
(termFormat cb October "octobre") terms-cb.txt 505-505
(termFormat cz October "october") terms-cz.txt 539-539
(termFormat ro October "octombrie") relations-ro.kif 985-985
(termFormat tg October "Oktubre") terms-tg.txt 504-504

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9193-9197
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9179-9183
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9189-9191

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


(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))
Government.kif 2935-2935 dateEstablished CaribbeanDevelopmentBank and 18 day
(dateEstablished FoodAndAgricultureOrganization
    (DayFn 16
        (MonthFn October
            (YearFn 1945))))
Government.kif 3265-3265 dateEstablished FoodAndAgricultureOrganization and 16 day
(dateEstablished GroupOf10
    (MonthFn October
        (YearFn 1962)))
Government.kif 3323-3323 dateEstablished GroupOf10 and 10月 month
(dateEstablished GroupOf8
    (MonthFn October
        (YearFn 1975)))
Government.kif 3307-3307 dateEstablished GroupOf8 and 10月 month
(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))
Government.kif 3407-3407 dateEstablished InternationalAtomicEnergyAgency and 26 day
(dateEstablished LatinAmericanEconomicSystem
    (DayFn 17
        (MonthFn October
            (YearFn 1975))))
Government.kif 3632-3632 dateEstablished LatinAmericanEconomicSystem and 17 day
(dateEstablished UnitedNationsMissionInSierraLeone
    (DayFn 22
        (MonthFn October
            (YearFn 1999))))
Government.kif 4087-4087 dateEstablished UnitedNationsMissionInSierraLeone and 22 day
(dateEstablished UnitedNationsTransitionalAdministrationInEastTimor
    (DayFn 25
        (MonthFn October
            (YearFn 1999))))
Government.kif 4237-4237 dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and 25 day
(dateEstablished UniversalPostalUnion
    (DayFn 9
        (MonthFn October
            (YearFn 1874))))
Government.kif 4274-4274 dateEstablished UniversalPostalUnion and 9 day
(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4313-4313 dateEstablished WesternEuropeanUnion and 23 day
(dateEstablished WorldFederationOfTradeUnions
    (DayFn 3
        (MonthFn October
            (YearFn 1945))))
Government.kif 4338-4338 dateEstablished WorldFederationOfTradeUnions and 3 day
(dateEstablished WorldMeteorologicalOrganization
    (DayFn 11
        (MonthFn October
            (YearFn 1947))))
Government.kif 4362-4362 dateEstablished WorldMeteorologicalOrganization and 11 day
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2791-2794 時間位置 は 1 day 目 の instance では %n conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations 時間位置 の すぐ afterduring holds %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