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

Formal Language: 



KB Term:  Term intersection
English Word: 

  April

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 9000-9000
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg") pictureList.kif 4960-4960
(externalImage April "http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png") pictureList.kif 4859-4859
(subclass April Month) Merge.kif 8998-8998 April is a subclass of month
(successorClass April May) Merge.kif 8925-8925 %2 is the successorClass of %2.

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


(successorClass March April) Merge.kif 8924-8924 %2 is the successorClass of %2.
(termFormat ChineseLanguage April "A四月") chinese_format.kif 1280-1280
(termFormat EnglishLanguage April "April") english_format.kif 1777-1777

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9006-9010
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8992-8996
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9002-9004

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 2831-2831 The day 27 is a date established of arab monetary fund
(dateEstablished EuropeanBankForReconstructionAndDevelopment
    (DayFn 15
        (MonthFn April
            (YearFn 1991))))
Government.kif 3145-3145 The day 15 is a date established of european bank for reconstruction and development
(dateEstablished EuropeanCommunity
    (DayFn 8
        (MonthFn April
            (YearFn 1965))))
Government.kif 3156-3156 The day 8 is a date established of european community
(dateEstablished InterAmericanDevelopmentBank
    (DayFn 8
        (MonthFn April
            (YearFn 1959))))
Government.kif 3365-3365 The day 8 is a date established of inter american development bank
(dateEstablished NorthAtlanticTreatyOrganization
    (DayFn 4
        (MonthFn April
            (YearFn 1949))))
Government.kif 3663-3663 The day 4 is a date established of north atlantic treaty organization
(dateEstablished OrganizationForTheProhibitionOfChemicalWeapons
    (DayFn 29
        (MonthFn April
            (YearFn 1997))))
Government.kif 3708-3708 The day 29 is a date established of organization for the prohibition of chemical weapons
(dateEstablished OrganizationOfAmericanStates
    (DayFn 14
        (MonthFn April
            (YearFn 1890))))
Government.kif 3732-3732 The day 14 is a date established of organization of american states
(dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
    (DayFn 29
        (MonthFn April
            (YearFn 1969))))
Government.kif 3974-3974 The day 29 is a date established of united nations interregional crime and justice research institute
(dateEstablished UnitedNationsIraqKuwaitObservationMission
    (DayFn 9
        (MonthFn April
            (YearFn 1991))))
Government.kif 4034-4034 The day 9 is a date established of united nations iraq kuwait observation mission
(dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara
    (DayFn 29
        (MonthFn April
            (YearFn 1991))))
Government.kif 4046-4046 The day 29 is a date established of united nations mission for the referendum in western sahara
(dateEstablished WorldTradeOrganization
    (DayFn 15
        (MonthFn April
            (YearFn 1994))))
Government.kif 4354-4354 The day 15 is a date established of world trade organization


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