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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - March
March(March)
3月, Mar, March, 三月

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


(documentation March ChineseLanguage "这是所有三月 MonthClass。") Merge.kif 12673-12673
(documentation March EnglishLanguage "The Class of all Months which are March.") Merge.kif 12671-12671
(documentation March JapaneseLanguage "3月のすべての MonthClass。") Merge.kif 12675-12675
(externalImage March "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4929-4929 "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg" is a URL depicting March
(subclass March Month) Merge.kif 12669-12669 March is a subclass of month
(successorClass March April) Merge.kif 12597-12597 successorClass March and April

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


(successorClass February March) Merge.kif 12596-12596 successorClass February and March
(termFormat ChineseLanguage March "三月") chinese_format.kif 1279-1279 "三月" is the printable form of March in ChineseLanguage
(termFormat EnglishLanguage March "March") english_format.kif 2550-2550 "March" is the printable form of March in english language
(termFormat JapaneseLanguage March "3月") english_format.kif 2551-2551 "3月" is the printable form of March in japanese language

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12663-12667
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12681-12685
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 12677-12679

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 The day 31 is a date dissolved of coordinating committee on export controls
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4082-4082 The day 25 is a date dissolved of united nations preventive deployment force
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2713-2713 The day 20 is a date established of agency for the french speaking community
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2770-2770 The day 22 is a date established of arab league
(dateEstablished CouncilOfTheBalticSeaStates
    (DayFn 6
        (MonthFn March
            (YearFn 1992))))
Government.kif 2972-2972 The day 6 is a date established of council of the baltic sea states
(dateEstablished EuropeanInvestmentBank
    (DayFn 25
        (MonthFn March
            (YearFn 1957))))
Government.kif 3126-3126 The day 25 is a date established of european investment bank
(dateEstablished InterGovernmentalAuthorityOnDevelopment
    (DayFn 21
        (MonthFn March
            (YearFn 1996))))
Government.kif 3331-3331 The day 21 is a date established of inter governmental authority on development
(dateEstablished InternationalMaritimeOrganization
    (DayFn 6
        (MonthFn March
            (YearFn 1948))))
Government.kif 3492-3492 The day 6 is a date established of international maritime organization
(dateEstablished NordicCouncil
    (DayFn 16
        (MonthFn March
            (YearFn 1952))))
Government.kif 3604-3604 The day 16 is a date established of nordic council
(dateEstablished SouthernConeCommonMarket
    (DayFn 26
        (MonthFn March
            (YearFn 1991))))
Government.kif 3803-3803 The day 26 is a date established of southern cone common market
(dateEstablished UnitedNationsInterimForceInLebanon
    (DayFn 19
        (MonthFn March
            (YearFn 1978))))
Government.kif 3984-3984 The day 19 is a date established of united nations interim force in lebanon
(dateEstablished UnitedNationsPeaceKeepingForceInCyprus
    (DayFn 4
        (MonthFn March
            (YearFn 1964))))
Government.kif 4066-4066 The day 4 is a date established of united nations peace keeping force in cyprus
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4080-4080 The day 31 is a date established of united nations preventive deployment force
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1605-1605 Spring season is equal to the recurring period from March to May


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