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 8507-8507
(externalImage March "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4929-4929
(subclass March Month) Merge.kif 8505-8505 subclass March and Month
(successorClass March April) Merge.kif 8445-8445 successorClass March and April

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


(successorClass February March) Merge.kif 8444-8444 successorClass February and March
(termFormat ChineseLanguage March "三月") chinese_format.kif 1279-1279
(termFormat EnglishLanguage March "March") english_format.kif 1784-1784

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8499-8503
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8513-8517
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8509-8511

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 2925-2925 dateDissolved CoordinatingCommitteeOnExportControls and DayFn 31 and MonthFn March and YearFn 1994
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4076-4076 dateDissolved UnitedNationsPreventiveDeploymentForce and DayFn 25 and MonthFn March and YearFn 1999
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2707-2707 dateEstablished AgencyForTheFrenchSpeakingCommunity and DayFn 20 and MonthFn March and YearFn 1970
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2764-2764 dateEstablished ArabLeague and DayFn 22 and MonthFn March and YearFn 1945
(dateEstablished CouncilOfTheBalticSeaStates
    (DayFn 6
        (MonthFn March
            (YearFn 1992))))
Government.kif 2966-2966 dateEstablished CouncilOfTheBalticSeaStates and DayFn 6 and MonthFn March and YearFn 1992
(dateEstablished EuropeanInvestmentBank
    (DayFn 25
        (MonthFn March
            (YearFn 1957))))
Government.kif 3120-3120 dateEstablished EuropeanInvestmentBank and DayFn 25 and MonthFn March and YearFn 1957
(dateEstablished InterGovernmentalAuthorityOnDevelopment
    (DayFn 21
        (MonthFn March
            (YearFn 1996))))
Government.kif 3325-3325 dateEstablished InterGovernmentalAuthorityOnDevelopment and DayFn 21 and MonthFn March and YearFn 1996
(dateEstablished InternationalMaritimeOrganization
    (DayFn 6
        (MonthFn March
            (YearFn 1948))))
Government.kif 3486-3486 dateEstablished InternationalMaritimeOrganization and DayFn 6 and MonthFn March and YearFn 1948
(dateEstablished NordicCouncil
    (DayFn 16
        (MonthFn March
            (YearFn 1952))))
Government.kif 3598-3598 dateEstablished NordicCouncil and DayFn 16 and MonthFn March and YearFn 1952
(dateEstablished SouthernConeCommonMarket
    (DayFn 26
        (MonthFn March
            (YearFn 1991))))
Government.kif 3797-3797 dateEstablished SouthernConeCommonMarket and DayFn 26 and MonthFn March and YearFn 1991
(dateEstablished UnitedNationsInterimForceInLebanon
    (DayFn 19
        (MonthFn March
            (YearFn 1978))))
Government.kif 3978-3978 dateEstablished UnitedNationsInterimForceInLebanon and DayFn 19 and MonthFn March and YearFn 1978
(dateEstablished UnitedNationsPeaceKeepingForceInCyprus
    (DayFn 4
        (MonthFn March
            (YearFn 1964))))
Government.kif 4060-4060 dateEstablished UnitedNationsPeaceKeepingForceInCyprus and DayFn 4 and MonthFn March and YearFn 1964
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4074-4074 dateEstablished UnitedNationsPreventiveDeploymentForce and DayFn 31 and MonthFn March and YearFn 1995
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1617-1617 equal SpringSeason and RecurrentTimeIntervalFn March and 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