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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 9144-9144
(documentation July JapaneseLanguage "7月のすべての MonthClass。") japanese_format.kif 1542-1542
(externalImage July "") pictureList.kif 4917-4917
(subclass July Month) Merge.kif 9142-9142 7月subclass では %n
(successorClass July August) Merge.kif 9030-9030 successorClass 7月 and 8月

appearance as argument number 2

(successorClass June July) Merge.kif 9029-9029 successorClass 6月 and 7月
(termFormat ChineseLanguage July "七月") chinese_format.kif 1283-1283
(termFormat EnglishLanguage July "July") english_format.kif 1783-1783
(termFormat FrenchLanguage July "Juillet") french_format.kif 961-961
(termFormat Hindi July "julAI") terms-hindi.txt 496-496
(termFormat ItalianLanguage July "Luglio") terms-it.txt 500-500
(termFormat JapaneseLanguage July "7月") japanese_format.kif 2645-2645
(termFormat PortugueseLanguage July "Julho") portuguese_format.kif 913-913
(termFormat cb July "hulyo") terms-cb.txt 502-502
(termFormat cz July "july") terms-cz.txt 536-536
(termFormat ro July "iulie") relations-ro.kif 982-982
(termFormat tg July "Hulyo") terms-tg.txt 501-501


        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9150-9154
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9136-9140
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9146-9148


(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4285-4285 dateDissolved WarsawPact and 1 day
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))
Government.kif 2928-2928 dateEstablished CaribbeanCommunityAndCommonMarket and 4 day
(dateEstablished EuropeanOrganizationForNuclearResearch
    (DayFn 1
        (MonthFn July
            (YearFn 1953))))
Government.kif 3239-3239 dateEstablished EuropeanOrganizationForNuclearResearch and 1 day
(dateEstablished InternationalBankForReconstructionAndDevelopment
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3414-3414 dateEstablished InternationalBankForReconstructionAndDevelopment and 22 day
(dateEstablished InternationalMonetaryFund
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3567-3567 dateEstablished InternationalMonetaryFund and 22 day
(dateEstablished PermanentCourtOfArbitration
    (DayFn 29
        (MonthFn July
            (YearFn 1899))))
Government.kif 3817-3817 dateEstablished PermanentCourtOfArbitration and 29 day
(dateEstablished UnitedNationsMissionInEthiopiaAndEritrea
    (DayFn 31
        (MonthFn July
            (YearFn 2000))))
Government.kif 4081-4081 dateEstablished UnitedNationsMissionInEthiopiaAndEritrea and 31 day
(dateEstablished UnitedNationsPopulationFund
    (MonthFn July
        (YearFn 1967)))
Government.kif 4136-4136 dateEstablished UnitedNationsPopulationFund and 7月 month
(dateEstablished WassenaarArrangement
    (DayFn 12
        (MonthFn July
            (YearFn 1996))))
Government.kif 4290-4290 dateEstablished WassenaarArrangement and 12 day
(dateEstablished WorldHealthOrganization
    (DayFn 22
        (MonthFn July
            (YearFn 1946))))
Government.kif 4350-4350 dateEstablished WorldHealthOrganization and 22 day
(dateEstablished WorldIntellectualPropertyOrganization
    (DayFn 14
        (MonthFn July
            (YearFn 1967))))
Government.kif 4356-4356 dateEstablished WorldIntellectualPropertyOrganization and 14 day

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