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

Formal Language: 



KB Term:  Term intersection
English Word: 

  April

Sigma KEE - April
April(A四月)

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


(documentation April ChineseLanguage "这是所有四月 MonthClass。") Merge.kif 9125-9125
(documentation April EnglishLanguage "The Class of all Months which are April.") Merge.kif 9124-9124
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg") pictureList.kif 4960-4960 externalImage A四月 and "http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg"
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png") pictureList.kif 4859-4859 externalImage A四月 and "http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png"
(subclass April Month) Merge.kif 9123-9123 A四月subclass
(successorClass April May) Merge.kif 9050-9050 successorClass A四月 and 五月

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


(successorClass March April) Merge.kif 9049-9049 successorClass 三月 and A四月
(termFormat ChineseLanguage April "A四月") chinese_format.kif 1280-1280 termFormat ChineseLanguage, A四月 and "A四月"
(termFormat EnglishLanguage April "April") english_format.kif 1921-1921 termFormat EnglishLanguage, A四月 and "April"
(termFormat JapaneseLanguage April "4月") english_format.kif 1922-1922 termFormat JapaneseLanguage, A四月 and "4月"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9131-9135
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9117-9121
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9127-9129

consequent
-------------------------


(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))
Media.kif 498-506

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


(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))
Government.kif 2788-2788 dateEstablished ArabMonetaryFund and 27 day
(dateEstablished EuropeanBankForReconstructionAndDevelopment
    (DayFn 15
        (MonthFn April
            (YearFn 1991))))
Government.kif 3102-3102 dateEstablished EuropeanBankForReconstructionAndDevelopment and 15 day
(dateEstablished EuropeanCommunity
    (DayFn 8
        (MonthFn April
            (YearFn 1965))))
Government.kif 3113-3113 dateEstablished EuropeanCommunity and 8 day
(dateEstablished InterAmericanDevelopmentBank
    (DayFn 8
        (MonthFn April
            (YearFn 1959))))
Government.kif 3322-3322 dateEstablished InterAmericanDevelopmentBank and 8 day
(dateEstablished NorthAtlanticTreatyOrganization
    (DayFn 4
        (MonthFn April
            (YearFn 1949))))
Government.kif 3620-3620 dateEstablished NorthAtlanticTreatyOrganization and 4 day
(dateEstablished OrganizationForTheProhibitionOfChemicalWeapons
    (DayFn 29
        (MonthFn April
            (YearFn 1997))))
Government.kif 3665-3665 dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and 29 day
(dateEstablished OrganizationOfAmericanStates
    (DayFn 14
        (MonthFn April
            (YearFn 1890))))
Government.kif 3689-3689 dateEstablished OrganizationOfAmericanStates and 14 day
(dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
    (DayFn 29
        (MonthFn April
            (YearFn 1969))))
Government.kif 3931-3931 dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute and 29 day
(dateEstablished UnitedNationsIraqKuwaitObservationMission
    (DayFn 9
        (MonthFn April
            (YearFn 1991))))
Government.kif 3991-3991 dateEstablished UnitedNationsIraqKuwaitObservationMission and 9 day
(dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara
    (DayFn 29
        (MonthFn April
            (YearFn 1991))))
Government.kif 4003-4003 dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and 29 day
(dateEstablished WorldTradeOrganization
    (DayFn 15
        (MonthFn April
            (YearFn 1994))))
Government.kif 4311-4311 dateEstablished WorldTradeOrganization and 15 day


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners