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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - March
March(三月)

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


(documentation March ChineseLanguage "这是所有三月 MonthClass。") chinese_format.kif 2797-2797
(documentation March EnglishLanguage "The Class of all Months which are March.") Merge.kif 8992-8992
(externalImage March "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4929-4929
(subclass March Month) Merge.kif 8990-8990 三月subclass
(successorClass March April) Merge.kif 8930-8930 successorClass 三月 and A四月

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


(successorClass February March) Merge.kif 8929-8929 successorClass 二月 and 三月
(termFormat ChineseLanguage March "三月") chinese_format.kif 1279-1279
(termFormat EnglishLanguage March "March") english_format.kif 1775-1775

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8984-8988
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8998-9002
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8994-8996

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
-------------------------


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2986-2986 31 Day出口管制协调委员会 的闭幕 date
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4137-4137 25 Day联合国预防性部署部队 的闭幕 date
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2763-2763 20 Day法语社区的代理机构 的成立 date
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2825-2825 22 Day阿拉伯联盟 的成立 date
(dateEstablished CouncilOfTheBalticSeaStates
    (DayFn 6
        (MonthFn March
            (YearFn 1992))))
Government.kif 3027-3027 6 Day波罗的海国家理事会 的成立 date
(dateEstablished EuropeanInvestmentBank
    (DayFn 25
        (MonthFn March
            (YearFn 1957))))
Government.kif 3181-3181 25 Day欧洲投资银行 的成立 date
(dateEstablished InterGovernmentalAuthorityOnDevelopment
    (DayFn 21
        (MonthFn March
            (YearFn 1996))))
Government.kif 3386-3386 21 Day政府间发展权威 的成立 date
(dateEstablished InternationalMaritimeOrganization
    (DayFn 6
        (MonthFn March
            (YearFn 1948))))
Government.kif 3547-3547 6 Day国际海事组织 的成立 date
(dateEstablished NordicCouncil
    (DayFn 16
        (MonthFn March
            (YearFn 1952))))
Government.kif 3659-3659 16 Day北欧理事会 的成立 date
(dateEstablished SouthernConeCommonMarket
    (DayFn 26
        (MonthFn March
            (YearFn 1991))))
Government.kif 3858-3858 26 Day南锥共同市场 的成立 date
(dateEstablished UnitedNationsInterimForceInLebanon
    (DayFn 19
        (MonthFn March
            (YearFn 1978))))
Government.kif 4039-4039 19 Day联合国驻黎巴嫩临时部队 的成立 date
(dateEstablished UnitedNationsPeaceKeepingForceInCyprus
    (DayFn 4
        (MonthFn March
            (YearFn 1964))))
Government.kif 4121-4121 4 Day联合国塞浦路斯维和部队 的成立 date
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4135-4135 31 Day联合国预防性部署部队 的成立 date
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1667-1667 春暖花开的季节 equal三月五月再次发生所需的时间


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