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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - October
October(October)
Oct, 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 "http://upload.wikimedia.org/wikipedia/commons/b/bb/ WallCalendar.jpg" is a URL depicting October
(subclass October Month) Merge.kif 9209-9209 October is a subclass of month
(successorClass October November) Merge.kif 9056-9056 successorClass October and November

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


(successorClass September October) Merge.kif 9055-9055 successorClass September and October
(termFormat ChineseLanguage October "十月") chinese_format.kif 1286-1286 "十月" is the printable form of October in ChineseLanguage
(termFormat EnglishLanguage October "October") english_format.kif 973-973 "October" is the printable form of October in english language

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 The day 18 is a date established of caribbean development bank
(dateEstablished FoodAndAgricultureOrganization
    (DayFn 16
        (MonthFn October
            (YearFn 1945))))
Government.kif 3202-3202 The day 16 is a date established of food and agriculture organization
(dateEstablished GroupOf10
    (MonthFn October
        (YearFn 1962)))
Government.kif 3260-3260 The month October is a date established of group of10
(dateEstablished GroupOf8
    (MonthFn October
        (YearFn 1975)))
Government.kif 3244-3244 The month October is a date established of group of8
(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))
Government.kif 3344-3344 The day 26 is a date established of international atomic energy agency
(dateEstablished LatinAmericanEconomicSystem
    (DayFn 17
        (MonthFn October
            (YearFn 1975))))
Government.kif 3569-3569 The day 17 is a date established of latin american economic system
(dateEstablished UnitedNationsMissionInSierraLeone
    (DayFn 22
        (MonthFn October
            (YearFn 1999))))
Government.kif 4024-4024 The day 22 is a date established of united nations mission in sierra leone
(dateEstablished UnitedNationsTransitionalAdministrationInEastTimor
    (DayFn 25
        (MonthFn October
            (YearFn 1999))))
Government.kif 4174-4174 The day 25 is a date established of united nations transitional administration in east timor
(dateEstablished UniversalPostalUnion
    (DayFn 9
        (MonthFn October
            (YearFn 1874))))
Government.kif 4211-4211 The day 9 is a date established of universal postal union
(dateEstablished WesternEuropeanUnion
    (DayFn 23
        (MonthFn October
            (YearFn 1954))))
Government.kif 4250-4250 The day 23 is a date established of western european union
(dateEstablished WorldFederationOfTradeUnions
    (DayFn 3
        (MonthFn October
            (YearFn 1945))))
Government.kif 4275-4275 The day 3 is a date established of world federation of trade unions
(dateEstablished WorldMeteorologicalOrganization
    (DayFn 11
        (MonthFn October
            (YearFn 1947))))
Government.kif 4299-4299 The day 11 is a date established of world meteorological organization
(holdsDuring
    (ImmediateFutureFn
        (DayFn 1
            (MonthFn October
                (YearFn 1992))))
    (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))
Government.kif 2732-2732 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1


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