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

Formal Language: 



KB Term:  Term intersection
English Word: 

  September

 Sigma KEE - September
September

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


(documentation September ChineseLanguage "这是所有九月 Month 的 Class。") chinese_format.kif 2803-2803
(documentation September EnglishLanguage "The Class of all Months which are September.") Merge.kif 9208-9209
(documentation September JapaneseLanguage "９月のすべての Month の Class。") japanese_format.kif 1544-1544
(externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 4942-4942
(subclass September Month) Merge.kif 9206-9206 子類 September and Month
(successorClass September October) Merge.kif 9068-9068 successorClass September and October

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


(successorClass August September) Merge.kif 9067-9067 successorClass August and September
(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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9200-9204
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9215-9219
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9211-9213

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


(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))		 Government.kif 2853-2853 天 1 and 月 September and 年 1951 是 澳大利亞新西蘭美國安全條約 的成立 date
(dateEstablished EconomicCommunityOfTheGreatLakesCountries
    (DayFn 20
        (MonthFn September
            (YearFn 1976))))		 Government.kif 3098-3098 天 20 and 月 September and 年 1976 是 大湖國家的經濟共同體 的成立 date
(dateEstablished GroupOf15
    (MonthFn September
        (YearFn 1989)))		 Government.kif 3305-3305 月 September and 年 1989 是 15人小組 的成立 date
(dateEstablished GroupOf3
    (MonthFn September
        (YearFn 1990)))		 Government.kif 3242-3242 月 September and 年 1990 是 3人小組 的成立 date
(dateEstablished GroupOf5
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))		 Government.kif 3248-3248 天 22 and 月 September and 年 1985 是 5人組 的成立 date
(dateEstablished GroupOf7
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))		 Government.kif 3265-3265 天 22 and 月 September and 年 1985 是 7人小組 的成立 date
(dateEstablished NonalignedMovement
    (DayFn 6
        (MonthFn September
            (YearFn 1961))))		 Government.kif 3620-3620 天 6 and 月 September and 年 1961 是 不對齊的運動 的成立 date
(dateEstablished OrganizationOfPetroleumExportingCountries
    (DayFn 14
        (MonthFn September
            (YearFn 1960))))		 Government.kif 3743-3743 天 14 and 月 September and 年 1960 是 石油輸出國組織 的成立 date
(dateEstablished OrganizationOfTheIslamicConference
    (MonthFn September
        (YearFn 1969)))		 Government.kif 3749-3749 月 September and 年 1969 是 組織伊斯蘭會議 的成立 date
(equal FallSeason
    (RecurrentTimeIntervalFn September November))		 Geography.kif 1666-1666 等於 秋季 and 經常性時間間隔 September and November


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