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 8840-8840
(documentation Year JapaneseLanguage "すべてのカレンダー YearClass。") japanese_format.kif 1511-1511
(relatedInternalConcept Year YearDuration) Merge.kif 8838-8838 Ann�e est reli� � l'int�rieur de SUMO � YearDuration
(relatedInternalConcept Year YearFn) Merge.kif 8837-8837 Ann�e est reli� � l'int�rieur de SUMO � YearFn
(subclass Year TimeInterval) Merge.kif 8836-8836 Ann�e est une sous-classe de interval temporel

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


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

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 GrossNationalProductFn 2 Year) Economy.kif 1026-1026 Le nombre 2 argument de GrossNationalProductFn 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 993-993 Le nombre 2 argument de ReachingMilitaryAgeAnnuallyMaleFn est une instance de ann�e
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 4061-4061 Le nombre 2 argument de FiscalYearStartingFn est une sous-classe de ann�e
(domainSubclass MonthFn 2 Year) Merge.kif 8670-8670 Le nombre 2 argument de MonthFn est une sous-classe de ann�e
(domainSubclass QuarterFn 2 Year) Merge.kif 9067-9067 Le nombre 2 argument de QuarterFn est une sous-classe de ann�e
(domainSubclass WeekFn 2 Year) Merge.kif 9049-9049 Le nombre 2 argument de WeekFn est une sous-classe de ann�e
(domainSubclass lastRenovation 2 Year) Hotel.kif 748-748 Le nombre 2 argument de lastRenovation est une sous-classe de ann�e
(domainSubclass yearBuilt 2 Year) Hotel.kif 727-727 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 2352-2361
(=>
    (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 2396-2405
(=>
    (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 2442-2451
(=>
    (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 2220-2229
(=>
    (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 2517-2526
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2363-2370
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2407-2414
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2453-2460
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2231-2238
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2528-2535
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2931-2938
(=>
    (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 2920-2929
(=>
    (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 4075-4079
(=>
    (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 8842-8844
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9580-9582

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