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

Formal Language: 


KB Term:  Term intersection
English Word: 

  March

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 9201-9201
(documentation March JapaneseLanguage "3月のすべての MonthClass。") japanese_format.kif 1538-1538
(externalImage March "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4927-4927
(subclass March Month) Merge.kif 9199-9199 三月subclass
(successorClass March April) Merge.kif 9139-9139 successorClass 三月 and A四月

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


(successorClass February March) Merge.kif 9138-9138 successorClass 二月 and 三月
(termFormat ChineseLanguage March "三月") chinese_format.kif 1279-1279 successorClass 二月 and 三月
(termFormat EnglishLanguage March "March") english_format.kif 1775-1775 successorClass 二月 and 三月
(termFormat FrenchLanguage March "Mars") french_format.kif 957-957 successorClass 二月 and 三月
(termFormat Hindi March "maarcha") terms-hindi.txt 492-492 successorClass 二月 and 三月
(termFormat ItalianLanguage March "Marzo") terms-it.txt 496-496 successorClass 二月 and 三月
(termFormat JapaneseLanguage March "3月") japanese_format.kif 2641-2641 successorClass 二月 and 三月
(termFormat PortugueseLanguage March "Marco") portuguese_format.kif 909-909 successorClass 二月 and 三月
(termFormat cb March "marso") terms-cb.txt 498-498 successorClass 二月 and 三月
(termFormat cz March "march") terms-cz.txt 532-532 successorClass 二月 and 三月
(termFormat de March "Maerz") terms-de.txt 791-791 successorClass 二月 and 三月
(termFormat ro March "martie") relations-ro.kif 978-978 successorClass 二月 and 三月
(termFormat tg March "Marso") terms-tg.txt 497-497 successorClass 二月 and 三月

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9193-9197
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9207-9211
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9203-9205

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
(=>
    (instance ?H HarmattanSeason)
    (exists (?Y1 ?Y2)
        (and
            (instance ?Y1 Year)
            (instance ?Y2 Year)
            (meetsTemporally ?Y1 ?Y2)
            (during
                (BeginFn ?H)
                (MonthFn November ?Y1))
            (during
                (EndFn ?H)
                (MonthFn March ?Y2)))))
Weather.kif 1593-1605

statement
-------------------------


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


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