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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - September
September

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


(documentation September ChineseLanguage "这是所有九月 MonthClass。") Merge.kif 9197-9197
(documentation September EnglishLanguage "The Class of all Months which are September.") Merge.kif 9195-9196
(externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 4943-4943
(subclass September Month) Merge.kif 9194-9194
(successorClass September October) Merge.kif 9055-9055

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


(successorClass August September) Merge.kif 9054-9054
(termFormat ChineseLanguage September "九月") chinese_format.kif 1285-1285
(termFormat EnglishLanguage September "September") english_format.kif 972-972

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9187-9191
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9203-9207
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9199-9201

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


(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2826-2826
(dateEstablished EconomicCommunityOfTheGreatLakesCountries
    (DayFn 20
        (MonthFn September
            (YearFn 1976))))
Government.kif 3071-3071
(dateEstablished GroupOf15
    (MonthFn September
        (YearFn 1989)))
Government.kif 3278-3278
(dateEstablished GroupOf3
    (MonthFn September
        (YearFn 1990)))
Government.kif 3215-3215
(dateEstablished GroupOf5
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3221-3221
(dateEstablished GroupOf7
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3238-3238
(dateEstablished NonalignedMovement
    (DayFn 6
        (MonthFn September
            (YearFn 1961))))
Government.kif 3593-3593
(dateEstablished OrganizationOfPetroleumExportingCountries
    (DayFn 14
        (MonthFn September
            (YearFn 1960))))
Government.kif 3716-3716
(dateEstablished OrganizationOfTheIslamicConference
    (MonthFn September
        (YearFn 1969)))
Government.kif 3722-3722
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1607-1607


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