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。") Merge.kif 9111-9111
(documentation March EnglishLanguage "The Class of all Months which are March.") Merge.kif 9110-9110
(externalImage March "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4929-4929 externalImage 三月 and "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg"
(subclass March Month) Merge.kif 9109-9109 三月subclass
(successorClass March April) Merge.kif 9049-9049 successorClass 三月 and A四月

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


(successorClass February March) Merge.kif 9048-9048 successorClass 二月 and 三月
(termFormat ChineseLanguage March "三月") chinese_format.kif 1279-1279 termFormat ChineseLanguage, 三月 and "三月"
(termFormat EnglishLanguage March "March") english_format.kif 1918-1918 termFormat EnglishLanguage, 三月 and "March"
(termFormat JapaneseLanguage March "3月") english_format.kif 1919-1919 termFormat JapaneseLanguage, 三月 and "3月"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9103-9107
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9117-9121
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9113-9115

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 2931-2931 dateDissolved CoordinatingCommitteeOnExportControls and 31 day
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4082-4082 dateDissolved UnitedNationsPreventiveDeploymentForce and 25 day
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2713-2713 dateEstablished AgencyForTheFrenchSpeakingCommunity and 20 day
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2770-2770 dateEstablished ArabLeague and 22 day
(dateEstablished CouncilOfTheBalticSeaStates
    (DayFn 6
        (MonthFn March
            (YearFn 1992))))
Government.kif 2972-2972 dateEstablished CouncilOfTheBalticSeaStates and 6 day
(dateEstablished EuropeanInvestmentBank
    (DayFn 25
        (MonthFn March
            (YearFn 1957))))
Government.kif 3126-3126 dateEstablished EuropeanInvestmentBank and 25 day
(dateEstablished InterGovernmentalAuthorityOnDevelopment
    (DayFn 21
        (MonthFn March
            (YearFn 1996))))
Government.kif 3331-3331 dateEstablished InterGovernmentalAuthorityOnDevelopment and 21 day
(dateEstablished InternationalMaritimeOrganization
    (DayFn 6
        (MonthFn March
            (YearFn 1948))))
Government.kif 3492-3492 dateEstablished InternationalMaritimeOrganization and 6 day
(dateEstablished NordicCouncil
    (DayFn 16
        (MonthFn March
            (YearFn 1952))))
Government.kif 3604-3604 dateEstablished NordicCouncil and 16 day
(dateEstablished SouthernConeCommonMarket
    (DayFn 26
        (MonthFn March
            (YearFn 1991))))
Government.kif 3803-3803 dateEstablished SouthernConeCommonMarket and 26 day
(dateEstablished UnitedNationsInterimForceInLebanon
    (DayFn 19
        (MonthFn March
            (YearFn 1978))))
Government.kif 3984-3984 dateEstablished UnitedNationsInterimForceInLebanon and 19 day
(dateEstablished UnitedNationsPeaceKeepingForceInCyprus
    (DayFn 4
        (MonthFn March
            (YearFn 1964))))
Government.kif 4066-4066 dateEstablished UnitedNationsPeaceKeepingForceInCyprus and 4 day
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4080-4080 dateEstablished UnitedNationsPreventiveDeploymentForce and 31 day
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1605-1605 SpringSeason equal三月五月再次发生所需的时间


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners