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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - August
August(August)
Aug, 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 9194-9194
(documentation August JapaneseLanguage "8月のすべての MonthClass。") japanese_format.kif 1543-1543
(externalImage August "http://upload.wikimedia.org/wikipedia/commons/b/bb/ August2004rs.png") pictureList.kif 4862-4862
(subclass August Month) Merge.kif 9192-9192 August is a subclass of month
(successorClass August September) Merge.kif 9067-9067 September is the successor class of August.

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


(successorClass July August) Merge.kif 9066-9066 August is the successor class of July.
(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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9200-9204
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9186-9190
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9196-9198

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


(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2721-2721 The day 4 is a date established of african development bank
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2833-2833 The day 8 is a date established of association of southeast asian nations
(dateEstablished GroupOf24
    (DayFn 1
        (MonthFn August
            (YearFn 1989))))
Government.kif 3315-3315 The day 1 is a date established of group of24
(dateEstablished LatinAmericanIntegrationAssociation
    (DayFn 12
        (MonthFn August
            (YearFn 1980))))
Government.kif 3605-3605 The day 12 is a date established of latin american integration association
(dateEstablished PacificIslandForum
    (DayFn 5
        (MonthFn August
            (YearFn 1971))))
Government.kif 3766-3766 The day 5 is a date established of pacific island forum
(dateEstablished SouthernAfricanDevelopmentCommunity
    (DayFn 17
        (MonthFn August
            (YearFn 1992))))
Government.kif 3821-3821 The day 17 is a date established of southern african development community
(dateEstablished UnitedNationsObserverMissionInGeorgia
    (DayFn 24
        (MonthFn August
            (YearFn 1993))))
Government.kif 4080-4080 The day 24 is a date established of united nations observer mission in georgia
(dateEstablished WestAfricanEconomicAndMonetaryUnion
    (DayFn 1
        (MonthFn August
            (YearFn 1994))))
Government.kif 4271-4271 The day 1 is a date established of west african economic and monetary union
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1665-1665 Summer season is equal to the recurring period from June to August


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