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

Formal Language: 



KB Term:  Term intersection
English Word: 

  March

Sigma KEE - March
March(Marco)

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 9124-9124
(documentation March JapaneseLanguage "3月のすべての MonthClass。") japanese_format.kif 1538-1538
(externalImage March "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4928-4928
(subclass March Month) Merge.kif 9122-9122 Marco e' uma sub-classe de Mes
(successorClass March April) Merge.kif 9062-9062 successorClass Marco and Abril

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9116-9120
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9130-9134
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9126-9128

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 2958-2958 dateDissolved CoordinatingCommitteeOnExportControls and o dia 31
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4109-4109 dateDissolved UnitedNationsPreventiveDeploymentForce and o dia 25
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2735-2735 dateEstablished AgencyForTheFrenchSpeakingCommunity and o dia 20
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2797-2797 dateEstablished ArabLeague and o dia 22
(dateEstablished CouncilOfTheBalticSeaStates
    (DayFn 6
        (MonthFn March
            (YearFn 1992))))
Government.kif 2999-2999 dateEstablished CouncilOfTheBalticSeaStates and o dia 6
(dateEstablished EuropeanInvestmentBank
    (DayFn 25
        (MonthFn March
            (YearFn 1957))))
Government.kif 3153-3153 dateEstablished EuropeanInvestmentBank and o dia 25
(dateEstablished InterGovernmentalAuthorityOnDevelopment
    (DayFn 21
        (MonthFn March
            (YearFn 1996))))
Government.kif 3358-3358 dateEstablished InterGovernmentalAuthorityOnDevelopment and o dia 21
(dateEstablished InternationalMaritimeOrganization
    (DayFn 6
        (MonthFn March
            (YearFn 1948))))
Government.kif 3519-3519 dateEstablished InternationalMaritimeOrganization and o dia 6
(dateEstablished NordicCouncil
    (DayFn 16
        (MonthFn March
            (YearFn 1952))))
Government.kif 3631-3631 dateEstablished NordicCouncil and o dia 16
(dateEstablished SouthernConeCommonMarket
    (DayFn 26
        (MonthFn March
            (YearFn 1991))))
Government.kif 3830-3830 dateEstablished SouthernConeCommonMarket and o dia 26
(dateEstablished UnitedNationsInterimForceInLebanon
    (DayFn 19
        (MonthFn March
            (YearFn 1978))))
Government.kif 4011-4011 dateEstablished UnitedNationsInterimForceInLebanon and o dia 19
(dateEstablished UnitedNationsPeaceKeepingForceInCyprus
    (DayFn 4
        (MonthFn March
            (YearFn 1964))))
Government.kif 4093-4093 dateEstablished UnitedNationsPeaceKeepingForceInCyprus and o dia 4
(dateEstablished UnitedNationsPreventiveDeploymentForce
    (DayFn 31
        (MonthFn March
            (YearFn 1995))))
Government.kif 4107-4107 dateEstablished UnitedNationsPreventiveDeploymentForce and o dia 31
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1664-1664 SpringSeason e' igual a o periodo recorrente de Marco a Maio


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