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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - September
September(September)
9月, Sep, Sept, September, 九月

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


(documentation September ChineseLanguage "这是所有九月 MonthClass。") Merge.kif 12783-12783
(documentation September EnglishLanguage "The Class of all Months which are September.") Merge.kif 12780-12781
(documentation September JapaneseLanguage "9月のすべての MonthClass。") Merge.kif 12785-12785
(externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 4943-4943 "http://upload.wikimedia.org/wikipedia/commons/b/bb/ WallCalendar.jpg" is a URL depicting September
(subclass September Month) Merge.kif 12778-12778 September is a subclass of month
(successorClass September October) Merge.kif 12603-12603 successorClass September and October

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


(successorClass August September) Merge.kif 12602-12602 successorClass August and September
(termFormat ChineseLanguage September "九月") chinese_format.kif 1285-1285 "九月" is the printable form of September in ChineseLanguage
(termFormat EnglishLanguage September "September") english_format.kif 2568-2568 "September" is the printable form of September in english language
(termFormat JapaneseLanguage September "9月") english_format.kif 2569-2569 "9月" is the printable form of September in japanese language

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12771-12775
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12791-12795
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 12787-12789

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


(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2826-2826 The day 1 is a date established of australia new zealand united states security treaty
(dateEstablished EconomicCommunityOfTheGreatLakesCountries
    (DayFn 20
        (MonthFn September
            (YearFn 1976))))
Government.kif 3071-3071 The day 20 is a date established of economic community of the great lakes countries
(dateEstablished GroupOf15
    (MonthFn September
        (YearFn 1989)))
Government.kif 3278-3278 The month September is a date established of group of15
(dateEstablished GroupOf3
    (MonthFn September
        (YearFn 1990)))
Government.kif 3215-3215 The month September is a date established of group of3
(dateEstablished GroupOf5
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3221-3221 The day 22 is a date established of group of5
(dateEstablished GroupOf7
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3238-3238 The day 22 is a date established of group of7
(dateEstablished NonalignedMovement
    (DayFn 6
        (MonthFn September
            (YearFn 1961))))
Government.kif 3593-3593 The day 6 is a date established of nonaligned movement
(dateEstablished OrganizationOfPetroleumExportingCountries
    (DayFn 14
        (MonthFn September
            (YearFn 1960))))
Government.kif 3716-3716 The day 14 is a date established of organization of petroleum exporting countries
(dateEstablished OrganizationOfTheIslamicConference
    (MonthFn September
        (YearFn 1969)))
Government.kif 3722-3722 The month September is a date established of organization of the islamic conference
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1607-1607 Fall season is equal to the recurring period from September to November


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