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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - April
April(A四月)

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 9006-9006
(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 9004-9004 A四月subclass
(successorClass April May) Merge.kif 8931-8931 successorClass A四月 and 五月

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


(successorClass March April) Merge.kif 8930-8930 successorClass 三月 and A四月
(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 9012-9016
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8998-9002
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9008-9010

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 2843-2843 27 Day阿拉伯货币基金 的成立 date
(dateEstablished EuropeanBankForReconstructionAndDevelopment
    (DayFn 15
        (MonthFn April
            (YearFn 1991))))
Government.kif 3157-3157 15 Day欧洲重建和发展银行 的成立 date
(dateEstablished EuropeanCommunity
    (DayFn 8
        (MonthFn April
            (YearFn 1965))))
Government.kif 3168-3168 8 Day欧洲共同体 的成立 date
(dateEstablished InterAmericanDevelopmentBank
    (DayFn 8
        (MonthFn April
            (YearFn 1959))))
Government.kif 3377-3377 8 Day美洲开发银行 的成立 date
(dateEstablished NorthAtlanticTreatyOrganization
    (DayFn 4
        (MonthFn April
            (YearFn 1949))))
Government.kif 3675-3675 4 Day北大西洋条约组织 的成立 date
(dateEstablished OrganizationForTheProhibitionOfChemicalWeapons
    (DayFn 29
        (MonthFn April
            (YearFn 1997))))
Government.kif 3720-3720 29 Day禁止化学武器组织 的成立 date
(dateEstablished OrganizationOfAmericanStates
    (DayFn 14
        (MonthFn April
            (YearFn 1890))))
Government.kif 3744-3744 14 Day美国各州的组织 的成立 date
(dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
    (DayFn 29
        (MonthFn April
            (YearFn 1969))))
Government.kif 3986-3986 29 Day联合国区域间犯罪和司法研究所 的成立 date
(dateEstablished UnitedNationsIraqKuwaitObservationMission
    (DayFn 9
        (MonthFn April
            (YearFn 1991))))
Government.kif 4046-4046 9 Day联合国伊拉克科威特观察团 的成立 date
(dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara
    (DayFn 29
        (MonthFn April
            (YearFn 1991))))
Government.kif 4058-4058 29 Day联合国在西撒哈拉举行全民投票的使命 的成立 date
(dateEstablished WorldTradeOrganization
    (DayFn 15
        (MonthFn April
            (YearFn 1994))))
Government.kif 4366-4366 15 Day世贸组织 的成立 date


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