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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - August

appearance as argument number 1

(documentation August ChineseLanguage "这是所有八月 MonthClass。") chinese_format.kif 2802-2802
(documentation August EnglishLanguage "The Class of all Months which are August.") Merge.kif 9158-9158
(documentation August JapaneseLanguage "8月のすべての MonthClass。") japanese_format.kif 1543-1543
(externalImage August " August2004rs.png") pictureList.kif 4862-4862
(subclass August Month) Merge.kif 9156-9156 8月subclass では %n
(successorClass August September) Merge.kif 9031-9031 successorClass 8月 and 9月

appearance as argument number 2

(successorClass July August) Merge.kif 9030-9030 successorClass 7月 and 8月
(termFormat ChineseLanguage August "八月") chinese_format.kif 1284-1284
(termFormat EnglishLanguage August "August") english_format.kif 1785-1785
(termFormat FrenchLanguage August "Ao�t") french_format.kif 962-962
(termFormat Hindi August "agasta") terms-hindi.txt 497-497
(termFormat ItalianLanguage August "Agosto") terms-it.txt 501-501
(termFormat JapaneseLanguage August "8月") japanese_format.kif 2646-2646
(termFormat PortugueseLanguage August "Agosto") portuguese_format.kif 914-914
(termFormat cb August "agosto") terms-cb.txt 503-503
(termFormat cz August "august") terms-cz.txt 537-537
(termFormat ro August "august") relations-ro.kif 983-983
(termFormat tg August "Agosto") terms-tg.txt 502-502


        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9164-9168
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9150-9154
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9160-9162


(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2757-2757 dateEstablished AfricanDevelopmentBank and 4 day
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2869-2869 dateEstablished AssociationOfSoutheastAsianNations and 8 day
(dateEstablished GroupOf24
    (DayFn 1
        (MonthFn August
            (YearFn 1989))))
Government.kif 3351-3351 dateEstablished GroupOf24 and 1 day
(dateEstablished LatinAmericanIntegrationAssociation
    (DayFn 12
        (MonthFn August
            (YearFn 1980))))
Government.kif 3641-3641 dateEstablished LatinAmericanIntegrationAssociation and 12 day
(dateEstablished PacificIslandForum
    (DayFn 5
        (MonthFn August
            (YearFn 1971))))
Government.kif 3802-3802 dateEstablished PacificIslandForum and 5 day
(dateEstablished SouthernAfricanDevelopmentCommunity
    (DayFn 17
        (MonthFn August
            (YearFn 1992))))
Government.kif 3857-3857 dateEstablished SouthernAfricanDevelopmentCommunity and 17 day
(dateEstablished UnitedNationsObserverMissionInGeorgia
    (DayFn 24
        (MonthFn August
            (YearFn 1993))))
Government.kif 4116-4116 dateEstablished UnitedNationsObserverMissionInGeorgia and 24 day
(dateEstablished WestAfricanEconomicAndMonetaryUnion
    (DayFn 1
        (MonthFn August
            (YearFn 1994))))
Government.kif 4307-4307 dateEstablished WestAfricanEconomicAndMonetaryUnion and 1 day
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1665-1665 SummerSeason は the recurring period from 6月 to 8月equal では %n

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