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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - April
April(April)
Apr, April

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 9200-9200
(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 9198-9198 April is a subclass of month
(successorClass April May) Merge.kif 9125-9125 May is the successor class of April.

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9206-9210
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9192-9196
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9202-9204

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 The day 27 of month the month April is a date established of arab monetary fund
(dateEstablished EuropeanBankForReconstructionAndDevelopment
    (DayFn 15
        (MonthFn April
            (YearFn 1991))))
Government.kif 3126-3126 The day 15 of month the month April is a date established of european bank for reconstruction and development
(dateEstablished EuropeanCommunity
    (DayFn 8
        (MonthFn April
            (YearFn 1965))))
Government.kif 3137-3137 The day 8 of month the month April is a date established of european community
(dateEstablished InterAmericanDevelopmentBank
    (DayFn 8
        (MonthFn April
            (YearFn 1959))))
Government.kif 3346-3346 The day 8 of month the month April is a date established of inter american development bank
(dateEstablished NorthAtlanticTreatyOrganization
    (DayFn 4
        (MonthFn April
            (YearFn 1949))))
Government.kif 3644-3644 The day 4 of month the month April is a date established of NATO
(dateEstablished OrganizationForTheProhibitionOfChemicalWeapons
    (DayFn 29
        (MonthFn April
            (YearFn 1997))))
Government.kif 3689-3689 The day 29 of month the month April is a date established of organization for the prohibition of chemical weapons
(dateEstablished OrganizationOfAmericanStates
    (DayFn 14
        (MonthFn April
            (YearFn 1890))))
Government.kif 3713-3713 The day 14 of month the month April is a date established of organization of american states
(dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
    (DayFn 29
        (MonthFn April
            (YearFn 1969))))
Government.kif 3955-3955 The day 29 of month the month April is a date established of united nations interregional crime and justice research institute
(dateEstablished UnitedNationsIraqKuwaitObservationMission
    (DayFn 9
        (MonthFn April
            (YearFn 1991))))
Government.kif 4015-4015 The day 9 of month the month April is a date established of united nations iraq kuwait observation mission
(dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara
    (DayFn 29
        (MonthFn April
            (YearFn 1991))))
Government.kif 4027-4027 The day 29 of month the month April is a date established of united nations mission for the referendum in western sahara
(dateEstablished WorldTradeOrganization
    (DayFn 15
        (MonthFn April
            (YearFn 1994))))
Government.kif 4335-4335 The day 15 of month the month April is a date established of world trade organization


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