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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - March
March(3月)

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 3月subclass では
(successorClass March April) Merge.kif 9139-9139 successorClass 3月 and 4月

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


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

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 dateDissolved CoordinatingCommitteeOnExportControls and 31 day
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4106-4106 dateDissolved UnitedNationsPreventiveDeploymentForce and 25 day
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2732-2732 dateEstablished AgencyForTheFrenchSpeakingCommunity and 20 day
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2794-2794 dateEstablished ArabLeague and 22 day
(dateEstablished CouncilOfTheBalticSeaStates
    (DayFn 6
        (MonthFn March
            (YearFn 1992))))
Government.kif 2996-2996 dateEstablished CouncilOfTheBalticSeaStates and 6 day
(dateEstablished EuropeanInvestmentBank
    (DayFn 25
        (MonthFn March
            (YearFn 1957))))
Government.kif 3150-3150 dateEstablished EuropeanInvestmentBank and 25 day
(dateEstablished InterGovernmentalAuthorityOnDevelopment
    (DayFn 21
        (MonthFn March
            (YearFn 1996))))
Government.kif 3355-3355 dateEstablished InterGovernmentalAuthorityOnDevelopment and 21 day
(dateEstablished InternationalMaritimeOrganization
    (DayFn 6
        (MonthFn March
            (YearFn 1948))))
Government.kif 3516-3516 dateEstablished InternationalMaritimeOrganization and 6 day
(dateEstablished NordicCouncil
    (DayFn 16
        (MonthFn March
            (YearFn 1952))))
Government.kif 3628-3628 dateEstablished NordicCouncil and 16 day
(dateEstablished SouthernConeCommonMarket
    (DayFn 26
        (MonthFn March
            (YearFn 1991))))
Government.kif 3827-3827 dateEstablished SouthernConeCommonMarket and 26 day
(dateEstablished UnitedNationsInterimForceInLebanon
    (DayFn 19
        (MonthFn March
            (YearFn 1978))))
Government.kif 4008-4008 dateEstablished UnitedNationsInterimForceInLebanon and 19 day
(dateEstablished UnitedNationsPeaceKeepingForceInCyprus
    (DayFn 4
        (MonthFn March
            (YearFn 1964))))
Government.kif 4090-4090 dateEstablished UnitedNationsPeaceKeepingForceInCyprus and 4 day
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4104-4104 dateEstablished UnitedNationsPreventiveDeploymentForce and 31 day
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1822-1822 equal SpringSeason and the recurring period from 3月 to 5月


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