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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Year
Year(ann�e)

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


(documentation Year ChineseLanguage "这是所有日历 YearClass。") chinese_format.kif 2781-2781
(documentation Year EnglishLanguage "The Class of all calendar Years.") Merge.kif 8742-8742
(documentation Year JapaneseLanguage "すべてのカレンダー YearClass。") japanese_format.kif 1511-1511
(relatedInternalConcept Year YearDuration) Merge.kif 8740-8740 Ann�e est reli� � l'int�rieur de SUMO � YearDuration
(relatedInternalConcept Year YearFn) Merge.kif 8739-8739 Ann�e est reli� � l'int�rieur de SUMO � YearFn
(subclass Year TimeInterval) Merge.kif 8738-8738 Ann�e est une sous-classe de interval temporel

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


(rangeSubclass YearFn Year) Merge.kif 8556-8556 Les valeurs retourn�es par YearFn sont des sous-classes de ann�e
(subclass LeapYear Year) Merge.kif 8995-8995 Ann�e bissextile est une sous-classe de ann�e
(termFormat ChineseLanguage Year "年") chinese_format.kif 1274-1274
(termFormat ChineseTraditionalLanguage Year "年") domainEnglishFormat.kif 63744-63744
(termFormat EnglishLanguage Year "year") english_format.kif 1765-1765
(termFormat FrenchLanguage Year "ann�e") french_format.kif 952-952
(termFormat Hindi Year "varsha") terms-hindi.txt 487-487
(termFormat ItalianLanguage Year "Anno") terms-it.txt 491-491
(termFormat JapaneseLanguage Year "年") japanese_format.kif 2636-2636
(termFormat PortugueseLanguage Year "Ano") portuguese_format.kif 904-904
(termFormat cz Year "year") terms-cz.txt 527-527
(termFormat ro Year "an") relations-ro.kif 973-973
(termFormat tg Year "taon") terms-tg.txt 492-492

appearance as argument number 3
-------------------------


(domain BirthsPerThousandFn 2 Year) People.kif 70-70 Le nombre 2 argument de BirthsPerThousandFn est une instance de ann�e
(domain ChildrenBornPerWomanFn 2 Year) People.kif 442-442 Le nombre 2 argument de ChildrenBornPerWomanFn est une instance de ann�e
(domain DeathsPerThousandFn 2 Year) People.kif 103-103 Le nombre 2 argument de DeathsPerThousandFn est une instance de ann�e
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 229-229 Le nombre 2 argument de DeathsPerThousandLiveBirthsFn est une instance de ann�e
(domain FemaleLifeExpectancyAtBirthFn 2 Year) People.kif 395-395 Le nombre 2 argument de FemaleLifeExpectancyAtBirthFn est une instance de ann�e
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 298-298 Le nombre 2 argument de LifeExpectancyAtBirthFn est une instance de ann�e
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 347-347 Le nombre 2 argument de MaleLifeExpectancyAtBirthFn est une instance de ann�e
(domain MigrantsPerThousandFn 2 Year) People.kif 139-139 Le nombre 2 argument de MigrantsPerThousandFn est une instance de ann�e
(domain PopulationGrowthFn 2 Year) People.kif 37-37 Le nombre 2 argument de PopulationGrowthFn est une instance de ann�e
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year) Military.kif 925-925 Le nombre 2 argument de ReachingMilitaryAgeAnnuallyMaleFn est une instance de ann�e
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3724-3724 Le nombre 2 argument de FiscalYearStartingFn est une sous-classe de ann�e
(domainSubclass MonthFn 2 Year) Merge.kif 8572-8572 Le nombre 2 argument de MonthFn est une sous-classe de ann�e
(domainSubclass QuarterFn 2 Year) Merge.kif 8969-8969 Le nombre 2 argument de QuarterFn est une sous-classe de ann�e
(domainSubclass WeekFn 2 Year) Merge.kif 8951-8951 Le nombre 2 argument de WeekFn est une sous-classe de ann�e
(domainSubclass lastRenovation 2 Year) Hotel.kif 744-744 Le nombre 2 argument de lastRenovation est une sous-classe de ann�e
(domainSubclass yearBuilt 2 Year) Hotel.kif 723-723 Le nombre 2 argument de yearBuilt est une sous-classe de ann�e

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


(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))
Economy.kif 2112-2121
(=>
    (and
        (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityExport ?AREA ?AMOUNT)))))
Economy.kif 2156-2165
(=>
    (and
        (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityImport ?AREA ?AMOUNT)))))
Economy.kif 2202-2211
(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))
Economy.kif 1980-1989
(=>
    (and
        (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualExportTotal ?AREA ?AMOUNT)))))
Economy.kif 2277-2286
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
(=>
    (and
        (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualImportTotal ?AREA ?AMOUNT)))))
Economy.kif 2583-2592
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?ES ?Y)
        (instance ?Y Year))
    (during ?L ?Y))
Media.kif 437-444
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?L ?Y)
        (instance ?Y Year))
    (during ?ES ?Y))
Media.kif 446-453
(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))
Economy.kif 3738-3742
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T1 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T2 ?YEAR))
Media.kif 387-394
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T2 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T1 ?YEAR))
Media.kif 396-403
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?A AscensionThursday)
        (during ?E ?Y)
        (during ?A ?Y)
        (starts ?E ?I)
        (finishes ?A ?I))
    (duration ?I
        (MeasureFn 40 DayDuration)))
Media.kif 538-547
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P PalmSunday)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?P ?I)
        (finishes ?E ?I))
    (duration ?I
        (MeasureFn 8 DayDuration)))
Media.kif 473-482
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 DayDuration)))
Media.kif 559-568
(=>
    (instance ?YEAR Year)
    (duration ?YEAR
        (MeasureFn 1 YearDuration)))
Merge.kif 8744-8746
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9459-9461

consequent
-------------------------


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 204-223
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (meetsTemporally ?T1 ?T2))
    (exists (?YEAR)
        (and
            (instance ?YEAR Year)
            (during ?T1 ?YEAR)
            (during ?T2 ?YEAR))))
Media.kif 376-385
(=>
    (instance ?E EidAlFitr)
    (exists (?R ?Y)
        (and
            (instance ?R Ramadan)
            (instance ?Y Year)
            (during ?R ?Y)
            (during ?E ?Y)
            (before ?R ?E))))
ArabicCulture.kif 229-237


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