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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - July
July

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


(documentation July ChineseLanguage "这是所有七月 MonthClass。") Merge.kif 12745-12745
(documentation July EnglishLanguage "The Class of all Months which are July.") Merge.kif 12743-12743
(documentation July JapaneseLanguage "7月のすべての MonthClass。") Merge.kif 12747-12747
(externalImage July "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4918-4918
(subclass July Month) Merge.kif 12741-12741
(successorClass July August) Merge.kif 12601-12601

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


(successorClass June July) Merge.kif 12600-12600
(termFormat ChineseLanguage July "七月") chinese_format.kif 1283-1283
(termFormat EnglishLanguage July "July") english_format.kif 2562-2562
(termFormat JapaneseLanguage July "7月") english_format.kif 2563-2563

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12753-12757
(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12735-12739
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 12749-12751

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


(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4222-4222
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))
Government.kif 2865-2865
(dateEstablished EuropeanOrganizationForNuclearResearch
    (DayFn 1
        (MonthFn July
            (YearFn 1953))))
Government.kif 3176-3176
(dateEstablished InternationalBankForReconstructionAndDevelopment
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3351-3351
(dateEstablished InternationalMonetaryFund
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3504-3504
(dateEstablished PermanentCourtOfArbitration
    (DayFn 29
        (MonthFn July
            (YearFn 1899))))
Government.kif 3754-3754
(dateEstablished UnitedNationsMissionInEthiopiaAndEritrea
    (DayFn 31
        (MonthFn July
            (YearFn 2000))))
Government.kif 4018-4018
(dateEstablished UnitedNationsPopulationFund
    (MonthFn July
        (YearFn 1967)))
Government.kif 4073-4073
(dateEstablished WassenaarArrangement
    (DayFn 12
        (MonthFn July
            (YearFn 1996))))
Government.kif 4227-4227
(dateEstablished WorldHealthOrganization
    (DayFn 22
        (MonthFn July
            (YearFn 1946))))
Government.kif 4287-4287
(dateEstablished WorldIntellectualPropertyOrganization
    (DayFn 14
        (MonthFn July
            (YearFn 1967))))
Government.kif 4293-4293


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