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

Formal Language: 



KB Term:  Term intersection
English Word: 

  October

 Sigma KEE - October
October(Ottobre)

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


(documentation October ChineseLanguage "这是所有十月 Month 的 Class。") chinese_format.kif 2804-2804
(documentation October EnglishLanguage "The Class of all Months which are October.") Merge.kif 9223-9223
(documentation October JapaneseLanguage "１０月のすべての Month の Class。") 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 9221-9221 Ottobre è una sottoclasse di Mese
(successorClass October November) Merge.kif 9069-9069 successorClass Ottobre and Novembre

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


(successorClass September October) Merge.kif 9068-9068 successorClass Settembre and Ottobre
(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 9229-9233
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9215-9219
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9225-9227

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


(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))		 Government.kif 2899-2899 dateEstablished CaribbeanDevelopmentBank and il giorno 18
(dateEstablished FoodAndAgricultureOrganization
    (DayFn 16
        (MonthFn October
            (YearFn 1945))))		 Government.kif 3229-3229 dateEstablished FoodAndAgricultureOrganization and il giorno 16
(dateEstablished GroupOf10
    (MonthFn October
        (YearFn 1962)))		 Government.kif 3287-3287 dateEstablished GroupOf10 and il mese Ottobre
(dateEstablished GroupOf8
    (MonthFn October
        (YearFn 1975)))		 Government.kif 3271-3271 dateEstablished GroupOf8 and il mese Ottobre
(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))		 Government.kif 3371-3371 dateEstablished InternationalAtomicEnergyAgency and il giorno 26
(dateEstablished LatinAmericanEconomicSystem
    (DayFn 17
        (MonthFn October
            (YearFn 1975))))		 Government.kif 3596-3596 dateEstablished LatinAmericanEconomicSystem and il giorno 17
(dateEstablished UnitedNationsMissionInSierraLeone
    (DayFn 22
        (MonthFn October
            (YearFn 1999))))		 Government.kif 4051-4051 dateEstablished UnitedNationsMissionInSierraLeone and il giorno 22
(dateEstablished UnitedNationsTransitionalAdministrationInEastTimor
    (DayFn 25
        (MonthFn October
            (YearFn 1999))))		 Government.kif 4201-4201 dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and il giorno 25
(dateEstablished UniversalPostalUnion
    (DayFn 9
        (MonthFn October
            (YearFn 1874))))		 Government.kif 4238-4238 dateEstablished UniversalPostalUnion and il giorno 9
(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))		 Government.kif 4277-4277 dateEstablished WesternEuropeanUnion and il giorno 23
(dateEstablished WorldFederationOfTradeUnions
    (DayFn 3
        (MonthFn October
            (YearFn 1945))))		 Government.kif 4302-4302 dateEstablished WorldFederationOfTradeUnions and il giorno 3
(dateEstablished WorldMeteorologicalOrganization
    (DayFn 11
        (MonthFn October
            (YearFn 1947))))		 Government.kif 4326-4326 dateEstablished WorldMeteorologicalOrganization and il giorno 11
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))		 Government.kif 2755-2758 PosizioneTemporale è un' istanza di il giorno 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vales durante immediatamente dopo PosizioneTemporale


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