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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - April
April(4月)

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


(documentation April ChineseLanguage "这是所有四月 MonthClass。") chinese_format.kif 2798-2798
(documentation April EnglishLanguage "The Class of all Months which are April.") Merge.kif 9215-9215
(documentation April JapaneseLanguage "4月のすべての MonthClass。") japanese_format.kif 1539-1539
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg") pictureList.kif 4958-4958
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png") pictureList.kif 4857-4857
(subclass April Month) Merge.kif 9213-9213 4月subclass では
(successorClass April May) Merge.kif 9140-9140 successorClass 4月 and 5月

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


(successorClass March April) Merge.kif 9139-9139 successorClass 3月 and 4月
(termFormat ChineseLanguage April "A四月") chinese_format.kif 1280-1280 successorClass 3月 and 4月
(termFormat EnglishLanguage April "April") english_format.kif 1777-1777 successorClass 3月 and 4月
(termFormat FrenchLanguage April "Avril") french_format.kif 958-958 successorClass 3月 and 4月
(termFormat Hindi April "aprEla") terms-hindi.txt 493-493 successorClass 3月 and 4月
(termFormat ItalianLanguage April "Aprile") terms-it.txt 497-497 successorClass 3月 and 4月
(termFormat JapaneseLanguage April "4月") japanese_format.kif 2642-2642 successorClass 3月 and 4月
(termFormat PortugueseLanguage April "Abril") portuguese_format.kif 910-910 successorClass 3月 and 4月
(termFormat cb April "abril") terms-cb.txt 499-499 successorClass 3月 and 4月
(termFormat cz April "april") terms-cz.txt 533-533 successorClass 3月 and 4月
(termFormat de April "April") terms-de.txt 792-792 successorClass 3月 and 4月
(termFormat ro April "aprilie") relations-ro.kif 979-979 successorClass 3月 and 4月
(termFormat tg April "Abril") terms-tg.txt 498-498 successorClass 3月 and 4月

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9221-9225
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9207-9211
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9217-9219

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 2812-2812 dateEstablished ArabMonetaryFund and 27 day
(dateEstablished EuropeanBankForReconstructionAndDevelopment
    (DayFn 15
        (MonthFn April
            (YearFn 1991))))
Government.kif 3126-3126 dateEstablished EuropeanBankForReconstructionAndDevelopment and 15 day
(dateEstablished EuropeanCommunity
    (DayFn 8
        (MonthFn April
            (YearFn 1965))))
Government.kif 3137-3137 dateEstablished EuropeanCommunity and 8 day
(dateEstablished InterAmericanDevelopmentBank
    (DayFn 8
        (MonthFn April
            (YearFn 1959))))
Government.kif 3346-3346 dateEstablished InterAmericanDevelopmentBank and 8 day
(dateEstablished NorthAtlanticTreatyOrganization
    (DayFn 4
        (MonthFn April
            (YearFn 1949))))
Government.kif 3644-3644 dateEstablished NorthAtlanticTreatyOrganization and 4 day
(dateEstablished OrganizationForTheProhibitionOfChemicalWeapons
    (DayFn 29
        (MonthFn April
            (YearFn 1997))))
Government.kif 3689-3689 dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and 29 day
(dateEstablished OrganizationOfAmericanStates
    (DayFn 14
        (MonthFn April
            (YearFn 1890))))
Government.kif 3713-3713 dateEstablished OrganizationOfAmericanStates and 14 day
(dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
    (DayFn 29
        (MonthFn April
            (YearFn 1969))))
Government.kif 3955-3955 dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute and 29 day
(dateEstablished UnitedNationsIraqKuwaitObservationMission
    (DayFn 9
        (MonthFn April
            (YearFn 1991))))
Government.kif 4015-4015 dateEstablished UnitedNationsIraqKuwaitObservationMission and 9 day
(dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara
    (DayFn 29
        (MonthFn April
            (YearFn 1991))))
Government.kif 4027-4027 dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and 29 day
(dateEstablished WorldTradeOrganization
    (DayFn 15
        (MonthFn April
            (YearFn 1994))))
Government.kif 4335-4335 dateEstablished WorldTradeOrganization and 15 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