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

Formal Language: 



KB Term:  Term intersection
English Word: 

  July

Sigma KEE - July
July(Julho)

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 9180-9180
(documentation July JapaneseLanguage "7月のすべての MonthClass。") japanese_format.kif 1542-1542
(externalImage July "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4917-4917
(subclass July Month) Merge.kif 9178-9178 Julho e' uma sub-classe de Mes
(successorClass July August) Merge.kif 9066-9066 successorClass Julho and Agosto

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


(successorClass June July) Merge.kif 9065-9065 successorClass June and Julho
(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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9186-9190
(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9172-9176
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9182-9184

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


(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4249-4249 dateDissolved WarsawPact and o dia 1
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))
Government.kif 2892-2892 dateEstablished CaribbeanCommunityAndCommonMarket and o dia 4
(dateEstablished EuropeanOrganizationForNuclearResearch
    (DayFn 1
        (MonthFn July
            (YearFn 1953))))
Government.kif 3203-3203 dateEstablished EuropeanOrganizationForNuclearResearch and o dia 1
(dateEstablished InternationalBankForReconstructionAndDevelopment
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3378-3378 dateEstablished InternationalBankForReconstructionAndDevelopment and o dia 22
(dateEstablished InternationalMonetaryFund
    (DayFn 22
        (MonthFn July
            (YearFn 1944))))
Government.kif 3531-3531 dateEstablished InternationalMonetaryFund and o dia 22
(dateEstablished PermanentCourtOfArbitration
    (DayFn 29
        (MonthFn July
            (YearFn 1899))))
Government.kif 3781-3781 dateEstablished PermanentCourtOfArbitration and o dia 29
(dateEstablished UnitedNationsMissionInEthiopiaAndEritrea
    (DayFn 31
        (MonthFn July
            (YearFn 2000))))
Government.kif 4045-4045 dateEstablished UnitedNationsMissionInEthiopiaAndEritrea and o dia 31
(dateEstablished UnitedNationsPopulationFund
    (MonthFn July
        (YearFn 1967)))
Government.kif 4100-4100 dateEstablished UnitedNationsPopulationFund and o mes Julho
(dateEstablished WassenaarArrangement
    (DayFn 12
        (MonthFn July
            (YearFn 1996))))
Government.kif 4254-4254 dateEstablished WassenaarArrangement and o dia 12
(dateEstablished WorldHealthOrganization
    (DayFn 22
        (MonthFn July
            (YearFn 1946))))
Government.kif 4314-4314 dateEstablished WorldHealthOrganization and o dia 22
(dateEstablished WorldIntellectualPropertyOrganization
    (DayFn 14
        (MonthFn July
            (YearFn 1967))))
Government.kif 4320-4320 dateEstablished WorldIntellectualPropertyOrganization and o dia 14


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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