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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - August
August
آب,

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


(documentation August ChineseLanguage "这是所有八月 MonthClass。") Merge.kif 9126-9126
(documentation August EnglishLanguage "The Class of all Months which are August.") Merge.kif 9125-9125
(externalImage August "http://upload.wikimedia.org/wikipedia/commons/b/bb/ August2004rs.png") pictureList.kif 4863-4863
(subclass August Month) Merge.kif 9124-9124

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


(termFormat ChineseLanguage August "八月") chinese_format.kif 1284-1284
(termFormat EnglishLanguage August "August") english_format.kif 971-971
(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 499-499
(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 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 9132-9136
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9118-9122
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9128-9130

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


(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2704-2704
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2806-2806
(dateEstablished GroupOf24
    (DayFn 1
        (MonthFn August
            (YearFn 1989))))
Government.kif 3288-3288
(dateEstablished LatinAmericanIntegrationAssociation
    (DayFn 12
        (MonthFn August
            (YearFn 1980))))
Government.kif 3578-3578
(dateEstablished PacificIslandForum
    (DayFn 5
        (MonthFn August
            (YearFn 1971))))
Government.kif 3739-3739
(dateEstablished SouthernAfricanDevelopmentCommunity
    (DayFn 17
        (MonthFn August
            (YearFn 1992))))
Government.kif 3794-3794
(dateEstablished UnitedNationsObserverMissionInGeorgia
    (DayFn 24
        (MonthFn August
            (YearFn 1993))))
Government.kif 4053-4053
(dateEstablished WestAfricanEconomicAndMonetaryUnion
    (DayFn 1
        (MonthFn August
            (YearFn 1994))))
Government.kif 4244-4244
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1606-1606


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