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

Formal Language: 



KB Term:  Term intersection
English Word: 

  August

Sigma KEE - August
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 9056-9056
(externalImage August "http://upload.wikimedia.org/wikipedia/commons/b/bb/ August2004rs.png") pictureList.kif 4863-4863
(subclass August Month) Merge.kif 9054-9054
(successorClass August September) Merge.kif 8929-8929

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


(successorClass July August) Merge.kif 8928-8928
(termFormat ChineseLanguage August "八月") chinese_format.kif 1284-1284
(termFormat EnglishLanguage August "August") english_format.kif 1785-1785

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9062-9066
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9048-9052
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9058-9060

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


(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2742-2742
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2849-2849
(dateEstablished GroupOf24
    (DayFn 1
        (MonthFn August
            (YearFn 1989))))
Government.kif 3331-3331
(dateEstablished LatinAmericanIntegrationAssociation
    (DayFn 12
        (MonthFn August
            (YearFn 1980))))
Government.kif 3621-3621
(dateEstablished PacificIslandForum
    (DayFn 5
        (MonthFn August
            (YearFn 1971))))
Government.kif 3782-3782
(dateEstablished SouthernAfricanDevelopmentCommunity
    (DayFn 17
        (MonthFn August
            (YearFn 1992))))
Government.kif 3837-3837
(dateEstablished UnitedNationsObserverMissionInGeorgia
    (DayFn 24
        (MonthFn August
            (YearFn 1993))))
Government.kif 4096-4096
(dateEstablished WestAfricanEconomicAndMonetaryUnion
    (DayFn 1
        (MonthFn August
            (YearFn 1994))))
Government.kif 4287-4287
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1668-1668


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