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。") chinese_format.kif 2804-2804
(documentation October EnglishLanguage "The Class of all Months which are October.") Merge.kif 9085-9085
(externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") pictureList.kif 4936-4936
(subclass October Month) Merge.kif 9083-9083 subclass October and Month
(successorClass October November) Merge.kif 8931-8931 successorClass October and November

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


(successorClass September October) Merge.kif 8930-8930 successorClass September and October
(termFormat ChineseLanguage October "十月") chinese_format.kif 1286-1286
(termFormat EnglishLanguage October "October") english_format.kif 1789-1789

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9091-9095
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9077-9081
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9087-9089

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


(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))
Government.kif 2915-2915 dateEstablished CaribbeanDevelopmentBank and DayFn 18 and MonthFn October and YearFn 1969
(dateEstablished FoodAndAgricultureOrganization
    (DayFn 16
        (MonthFn October
            (YearFn 1945))))
Government.kif 3245-3245 dateEstablished FoodAndAgricultureOrganization and DayFn 16 and MonthFn October and YearFn 1945
(dateEstablished GroupOf10
    (MonthFn October
        (YearFn 1962)))
Government.kif 3303-3303 dateEstablished GroupOf10 and MonthFn October and YearFn 1962
(dateEstablished GroupOf8
    (MonthFn October
        (YearFn 1975)))
Government.kif 3287-3287 dateEstablished GroupOf8 and MonthFn October and YearFn 1975
(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))
Government.kif 3387-3387 dateEstablished InternationalAtomicEnergyAgency and DayFn 26 and MonthFn October and YearFn 1956
(dateEstablished LatinAmericanEconomicSystem
    (DayFn 17
        (MonthFn October
            (YearFn 1975))))
Government.kif 3612-3612 dateEstablished LatinAmericanEconomicSystem and DayFn 17 and MonthFn October and YearFn 1975
(dateEstablished UnitedNationsMissionInSierraLeone
    (DayFn 22
        (MonthFn October
            (YearFn 1999))))
Government.kif 4067-4067 dateEstablished UnitedNationsMissionInSierraLeone and DayFn 22 and MonthFn October and YearFn 1999
(dateEstablished UnitedNationsTransitionalAdministrationInEastTimor
    (DayFn 25
        (MonthFn October
            (YearFn 1999))))
Government.kif 4217-4217 dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and DayFn 25 and MonthFn October and YearFn 1999
(dateEstablished UniversalPostalUnion
    (DayFn 9
        (MonthFn October
            (YearFn 1874))))
Government.kif 4254-4254 dateEstablished UniversalPostalUnion and DayFn 9 and MonthFn October and YearFn 1874
(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4293-4293 dateEstablished WesternEuropeanUnion and DayFn 23 and MonthFn October and YearFn 1954
(dateEstablished WorldFederationOfTradeUnions
    (DayFn 3
        (MonthFn October
            (YearFn 1945))))
Government.kif 4318-4318 dateEstablished WorldFederationOfTradeUnions and DayFn 3 and MonthFn October and YearFn 1945
(dateEstablished WorldMeteorologicalOrganization
    (DayFn 11
        (MonthFn October
            (YearFn 1947))))
Government.kif 4342-4342 dateEstablished WorldMeteorologicalOrganization and DayFn 11 and MonthFn October and YearFn 1947
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2771-2774 holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and DayFn 1 and MonthFn October and YearFn 1992 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations


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