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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - April
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 9138-9138
(documentation April JapaneseLanguage "4月のすべての MonthClass。") japanese_format.kif 1539-1539
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg") pictureList.kif 4959-4959
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png") pictureList.kif 4858-4858
(subclass April Month) Merge.kif 9136-9136 April ist eine teilkategorie von Month
(successorClass April May) Merge.kif 9063-9063 successorClass April and May

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9144-9148
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9130-9134
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9140-9142

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 2815-2815 dateEstablished ArabMonetaryFund and der tag 27
(dateEstablished EuropeanBankForReconstructionAndDevelopment
    (DayFn 15
        (MonthFn April
            (YearFn 1991))))
Government.kif 3129-3129 dateEstablished EuropeanBankForReconstructionAndDevelopment and der tag 15
(dateEstablished EuropeanCommunity
    (DayFn 8
        (MonthFn April
            (YearFn 1965))))
Government.kif 3140-3140 dateEstablished EuropeanCommunity and der tag 8
(dateEstablished InterAmericanDevelopmentBank
    (DayFn 8
        (MonthFn April
            (YearFn 1959))))
Government.kif 3349-3349 dateEstablished InterAmericanDevelopmentBank and der tag 8
(dateEstablished NorthAtlanticTreatyOrganization
    (DayFn 4
        (MonthFn April
            (YearFn 1949))))
Government.kif 3647-3647 dateEstablished NorthAtlanticTreatyOrganization and der tag 4
(dateEstablished OrganizationForTheProhibitionOfChemicalWeapons
    (DayFn 29
        (MonthFn April
            (YearFn 1997))))
Government.kif 3692-3692 dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and der tag 29
(dateEstablished OrganizationOfAmericanStates
    (DayFn 14
        (MonthFn April
            (YearFn 1890))))
Government.kif 3716-3716 dateEstablished OrganizationOfAmericanStates and der tag 14
(dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
    (DayFn 29
        (MonthFn April
            (YearFn 1969))))
Government.kif 3958-3958 dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute and der tag 29
(dateEstablished UnitedNationsIraqKuwaitObservationMission
    (DayFn 9
        (MonthFn April
            (YearFn 1991))))
Government.kif 4018-4018 dateEstablished UnitedNationsIraqKuwaitObservationMission and der tag 9
(dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara
    (DayFn 29
        (MonthFn April
            (YearFn 1991))))
Government.kif 4030-4030 dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and der tag 29
(dateEstablished WorldTradeOrganization
    (DayFn 15
        (MonthFn April
            (YearFn 1994))))
Government.kif 4338-4338 dateEstablished WorldTradeOrganization and der tag 15


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