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 9091-9091
(externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") pictureList.kif 4936-4936
(subclass October Month) Merge.kif 9089-9089
(successorClass October November) Merge.kif 8937-8937

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


(successorClass September October) Merge.kif 8936-8936
(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 9097-9101
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9083-9087
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9093-9095

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


(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))
Government.kif 2927-2927
(dateEstablished FoodAndAgricultureOrganization
    (DayFn 16
        (MonthFn October
            (YearFn 1945))))
Government.kif 3257-3257
(dateEstablished GroupOf10
    (MonthFn October
        (YearFn 1962)))
Government.kif 3315-3315
(dateEstablished GroupOf8
    (MonthFn October
        (YearFn 1975)))
Government.kif 3299-3299
(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))
Government.kif 3399-3399
(dateEstablished LatinAmericanEconomicSystem
    (DayFn 17
        (MonthFn October
            (YearFn 1975))))
Government.kif 3624-3624
(dateEstablished UnitedNationsMissionInSierraLeone
    (DayFn 22
        (MonthFn October
            (YearFn 1999))))
Government.kif 4079-4079
(dateEstablished UnitedNationsTransitionalAdministrationInEastTimor
    (DayFn 25
        (MonthFn October
            (YearFn 1999))))
Government.kif 4229-4229
(dateEstablished UniversalPostalUnion
    (DayFn 9
        (MonthFn October
            (YearFn 1874))))
Government.kif 4266-4266
(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4305-4305
(dateEstablished WorldFederationOfTradeUnions
    (DayFn 3
        (MonthFn October
            (YearFn 1945))))
Government.kif 4330-4330
(dateEstablished WorldMeteorologicalOrganization
    (DayFn 11
        (MonthFn October
            (YearFn 1947))))
Government.kif 4354-4354
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2783-2786


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