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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - July
July(July)
7月, July, 七月

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


(documentation July ChineseLanguage "这是所有七月 MonthClass。") chinese_format.kif 2801-2801
(documentation July EnglishLanguage "The Class of all Months which are July.") Merge.kif 8429-8429
(externalImage July "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4918-4918 "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg" is a URL depicting July
(subclass July Month) Merge.kif 8427-8427 July is a subclass of month
(successorClass July August) Merge.kif 8315-8315 successorClass July and August

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


(successorClass June July) Merge.kif 8314-8314 successorClass June and July
(termFormat ChineseLanguage July "七月") chinese_format.kif 1283-1283 "七月" is the printable form of July in ChineseLanguage
(termFormat EnglishLanguage July "July") english_format.kif 1792-1792 "July" is the printable form of July in english language

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8435-8439
(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8421-8425
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8431-8433

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


(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4216-4216 The day 1 is a date dissolved of warsaw pact
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))
Government.kif 2859-2859 The day 4 is a date established of caribbean community and common market
(dateEstablished EuropeanOrganizationForNuclearResearch
    (DayFn 1
        (MonthFn July
            (YearFn 1953))))
Government.kif 3170-3170 The day 1 is a date established of european organization for nuclear research
(dateEstablished InternationalBankForReconstructionAndDevelopment
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3345-3345 The day 22 is a date established of international bank for reconstruction and development
(dateEstablished InternationalMonetaryFund
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3498-3498 The day 22 is a date established of international monetary fund
(dateEstablished PermanentCourtOfArbitration
    (DayFn 29
        (MonthFn July
            (YearFn 1899))))
Government.kif 3748-3748 The day 29 is a date established of permanent court of arbitration
(dateEstablished UnitedNationsMissionInEthiopiaAndEritrea
    (DayFn 31
        (MonthFn July
            (YearFn 2000))))
Government.kif 4012-4012 The day 31 is a date established of united nations mission in ethiopia and eritrea
(dateEstablished UnitedNationsPopulationFund
    (MonthFn July
        (YearFn 1967)))
Government.kif 4067-4067 The month July is a date established of united nations population fund
(dateEstablished WassenaarArrangement
    (DayFn 12
        (MonthFn July
            (YearFn 1996))))
Government.kif 4221-4221 The day 12 is a date established of wassenaar arrangement
(dateEstablished WorldHealthOrganization
    (DayFn 22
        (MonthFn July
            (YearFn 1946))))
Government.kif 4281-4281 The day 22 is a date established of world health organization
(dateEstablished WorldIntellectualPropertyOrganization
    (DayFn 14
        (MonthFn July
            (YearFn 1967))))
Government.kif 4287-4287 The day 14 is a date established of world intellectual property organization


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