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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - August
August(8月)

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 9256-9256
(documentation August JapaneseLanguage "8月のすべての MonthClass。") japanese_format.kif 1543-1543
(externalImage August "http://upload.wikimedia.org/wikipedia/commons/b/bb/ August2004rs.png") pictureList.kif 4861-4861
(subclass August Month) Merge.kif 9254-9254 8月subclass では
(successorClass August September) Merge.kif 9129-9129 successorClass 8月 and 9月

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9262-9266
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9248-9252
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9258-9260

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


(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2718-2718 dateEstablished AfricanDevelopmentBank and 4 day
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2830-2830 dateEstablished AssociationOfSoutheastAsianNations and 8 day
(dateEstablished GroupOf24
    (DayFn 1
        (MonthFn August
            (YearFn 1989))))
Government.kif 3312-3312 dateEstablished GroupOf24 and 1 day
(dateEstablished LatinAmericanIntegrationAssociation
    (DayFn 12
        (MonthFn August
            (YearFn 1980))))
Government.kif 3602-3602 dateEstablished LatinAmericanIntegrationAssociation and 12 day
(dateEstablished PacificIslandForum
    (DayFn 5
        (MonthFn August
            (YearFn 1971))))
Government.kif 3763-3763 dateEstablished PacificIslandForum and 5 day
(dateEstablished SouthernAfricanDevelopmentCommunity
    (DayFn 17
        (MonthFn August
            (YearFn 1992))))
Government.kif 3818-3818 dateEstablished SouthernAfricanDevelopmentCommunity and 17 day
(dateEstablished UnitedNationsObserverMissionInGeorgia
    (DayFn 24
        (MonthFn August
            (YearFn 1993))))
Government.kif 4077-4077 dateEstablished UnitedNationsObserverMissionInGeorgia and 24 day
(dateEstablished WestAfricanEconomicAndMonetaryUnion
    (DayFn 1
        (MonthFn August
            (YearFn 1994))))
Government.kif 4268-4268 dateEstablished WestAfricanEconomicAndMonetaryUnion and 1 day
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1653-1653 SummerSeason は the recurring period from 6月 to 8月equal では


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