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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Year
Year

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 8652-8652
(relatedInternalConcept Year YearDuration) Merge.kif 8650-8650 relatedInternalConcept Year and YearDuration
(relatedInternalConcept Year YearFn) Merge.kif 8649-8649 relatedInternalConcept Year and YearFn
(subclass Year TimeInterval) Merge.kif 8648-8648 subclass Year and TimeInterval

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


(rangeSubclass YearFn Year) Merge.kif 8466-8466 rangeSubclass YearFn and Year
(subclass LeapYear Year) Merge.kif 8905-8905 subclass LeapYear and Year
(termFormat ChineseLanguage Year "年") chinese_format.kif 1274-1274
(termFormat ChineseTraditionalLanguage Year "年") domainEnglishFormat.kif 63717-63717
(termFormat EnglishLanguage Year "year") english_format.kif 1765-1765

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


(domain BirthsPerThousandFn 2 Year) People.kif 96-96 domain BirthsPerThousandFn, 2 and Year
(domain ChildrenBornPerWomanFn 2 Year) People.kif 468-468 domain ChildrenBornPerWomanFn, 2 and Year
(domain DeathsPerThousandFn 2 Year) People.kif 129-129 domain DeathsPerThousandFn, 2 and Year
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 255-255 domain DeathsPerThousandLiveBirthsFn, 2 and Year
(domain FemaleLifeExpectancyAtBirthFn 2 Year) People.kif 421-421 domain FemaleLifeExpectancyAtBirthFn, 2 and Year
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 324-324 domain LifeExpectancyAtBirthFn, 2 and Year
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 373-373 domain MaleLifeExpectancyAtBirthFn, 2 and Year
(domain MigrantsPerThousandFn 2 Year) People.kif 165-165 domain MigrantsPerThousandFn, 2 and Year
(domain PopulationGrowthFn 2 Year) People.kif 63-63 domain PopulationGrowthFn, 2 and Year
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year) Military.kif 925-925 domain ReachingMilitaryAgeAnnuallyMaleFn, 2 and Year
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3733-3733 domainSubclass FiscalYearStartingFn, 2 and Year
(domainSubclass MonthFn 2 Year) Merge.kif 8482-8482 domainSubclass MonthFn, 2 and Year
(domainSubclass QuarterFn 2 Year) Merge.kif 8879-8879 domainSubclass QuarterFn, 2 and Year
(domainSubclass WeekFn 2 Year) Merge.kif 8861-8861 domainSubclass WeekFn, 2 and Year
(domainSubclass lastRenovation 2 Year) Hotel.kif 744-744 domainSubclass lastRenovation, 2 and Year
(domainSubclass yearBuilt 2 Year) Hotel.kif 723-723 domainSubclass yearBuilt, 2 and Year

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 2123-2132
(=>
    (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 2167-2176
(=>
    (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 2213-2222
(=>
    (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 1991-2000
(=>
    (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 2288-2297
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2134-2141
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2178-2185
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2224-2231
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2002-2009
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2299-2306
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2604-2611
(=>
    (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 2593-2602
(=>
    (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 Agent)
        (instance ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))
Economy.kif 3746-3750
(=>
    (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 8654-8656
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9368-9370

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U)
            (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 193-212
(=>
    (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 218-226


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