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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - September

appearance as argument number 1

(documentation September ChineseLanguage "这是所有九月 MonthClass。") chinese_format.kif 2803-2803
(documentation September EnglishLanguage "The Class of all Months which are September.") Merge.kif 9194-9195
(documentation September JapaneseLanguage "9月のすべての MonthClass。") japanese_format.kif 1544-1544
(externalImage September " b/ bb/ WallCalendar.jpg") pictureList.kif 4942-4942
(subclass September Month) Merge.kif 9192-9192 九月subclass
(successorClass September October) Merge.kif 9054-9054 successorClass 九月 and 十月

appearance as argument number 2

(successorClass August September) Merge.kif 9053-9053 successorClass 八月 and 九月
(termFormat ChineseLanguage September "九月") chinese_format.kif 1285-1285
(termFormat EnglishLanguage September "September") english_format.kif 1787-1787
(termFormat FrenchLanguage September "Septembre") french_format.kif 963-963
(termFormat Hindi September "sitambara") terms-hindi.txt 498-498
(termFormat ItalianLanguage September "Settembre") terms-it.txt 502-502
(termFormat JapaneseLanguage September "9月") japanese_format.kif 2647-2647
(termFormat PortugueseLanguage September "Setembro") portuguese_format.kif 915-915
(termFormat cb September "septembre") terms-cb.txt 504-504
(termFormat cz September "september") terms-cz.txt 538-538
(termFormat ro September "septembrie") relations-ro.kif 984-984
(termFormat tg September "Setyembre") terms-tg.txt 503-503


        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9186-9190
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9201-9205
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9197-9199


(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2889-2889 1 Day澳大利亚新西兰美国安全条约 的成立 date
(dateEstablished EconomicCommunityOfTheGreatLakesCountries
    (DayFn 20
        (MonthFn September
            (YearFn 1976))))
Government.kif 3134-3134 20 Day大湖国家的经济共同体 的成立 date
(dateEstablished GroupOf15
    (MonthFn September
        (YearFn 1989)))
Government.kif 3341-3341 九月 month15人小组 的成立 date
(dateEstablished GroupOf3
    (MonthFn September
        (YearFn 1990)))
Government.kif 3278-3278 九月 month3人小组 的成立 date
(dateEstablished GroupOf5
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3284-3284 22 Day5人组 的成立 date
(dateEstablished GroupOf7
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3301-3301 22 Day7人小组 的成立 date
(dateEstablished NonalignedMovement
    (DayFn 6
        (MonthFn September
            (YearFn 1961))))
Government.kif 3656-3656 6 Day不对齐的运动 的成立 date
(dateEstablished OrganizationOfPetroleumExportingCountries
    (DayFn 14
        (MonthFn September
            (YearFn 1960))))
Government.kif 3779-3779 14 Day石油输出国组织 的成立 date
(dateEstablished OrganizationOfTheIslamicConference
    (MonthFn September
        (YearFn 1969)))
Government.kif 3785-3785 九月 month组织伊斯兰会议 的成立 date
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1666-1666 秋季 equal九月十一月再次发生所需的时间

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 3.0 is open source software produced by Articulate Software and its partners