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。") Merge.kif 12360-12360
(documentation Year EnglishLanguage "The Class of all calendar Years.") Merge.kif 12358-12358
(documentation Year JapaneseLanguage "すべてのカレンダー YearClass。") Merge.kif 12362-12362
(relatedInternalConcept Year YearDuration) Merge.kif 12356-12356 YearDurationinternally 関連して %n
(relatedInternalConcept Year YearFn) Merge.kif 12355-12355 YearFninternally 関連して %n
(subclass Year TimeInterval) Merge.kif 12354-12354 時間間隔subclass では %n

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


(rangeSubclass YearFn Year) Merge.kif 12092-12092 YearFn が返す値は subclasses では %n
(subclass LeapYear Year) Merge.kif 12556-12556 うるう年subclass では %n
(termFormat ChineseLanguage Year "年") chinese_format.kif 1274-1274 termFormat ChineseLanguage, and "年"
(termFormat ChineseTraditionalLanguage Year "年") domainEnglishFormat.kif 63702-63702 termFormat ChineseTraditionalLanguage, and "年"
(termFormat EnglishLanguage Year "year") english_format.kif 2535-2535 termFormat EnglishLanguage, and "year"
(termFormat JapaneseLanguage Year "年") english_format.kif 2536-2536 termFormat JapaneseLanguage, and "年"

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


(domain BirthsPerThousandFn 2 Year) People.kif 92-92 BirthsPerThousandFn の数値 2 引数は instance では %n
(domain ChildrenBornPerWomanFn 2 Year) People.kif 448-448 ChildrenBornPerWomanFn の数値 2 引数は instance では %n
(domain DeathsPerThousandFn 2 Year) People.kif 123-123 DeathsPerThousandFn の数値 2 引数は instance では %n
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 244-244 DeathsPerThousandLiveBirthsFn の数値 2 引数は instance では %n
(domain FemaleLifeExpectancyAtBirthFn 2 Year) People.kif 403-403 FemaleLifeExpectancyAtBirthFn の数値 2 引数は instance では %n
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 311-311 LifeExpectancyAtBirthFn の数値 2 引数は instance では %n
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 358-358 MaleLifeExpectancyAtBirthFn の数値 2 引数は instance では %n
(domain MigrantsPerThousandFn 2 Year) People.kif 157-157 MigrantsPerThousandFn の数値 2 引数は instance では %n
(domain PopulationGrowthFn 2 Year) People.kif 63-63 PopulationGrowthFn の数値 2 引数は instance では %n
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year) Military.kif 920-920 ReachingMilitaryAgeAnnuallyMaleFn の数値 2 引数は instance では %n
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3726-3726 FiscalYearStartingFn の数値 2 引数は subclass では %n
(domainSubclass MonthFn 2 Year) Merge.kif 12121-12121 MonthFn の数値 2 引数は subclass では %n
(domainSubclass QuarterFn 2 Year) Merge.kif 12523-12523 QuarterFn の数値 2 引数は subclass では %n
(domainSubclass WeekFn 2 Year) Merge.kif 12499-12499 WeekFn の数値 2 引数は subclass では %n
(domainSubclass lastRenovation 2 Year) Hotel.kif 713-713 lastRenovation の数値 2 引数は subclass では %n
(domainSubclass yearBuilt 2 Year) Hotel.kif 692-692 yearBuilt の数値 2 引数は subclass では %n

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 2116-2125
(=>
    (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 2160-2169
(=>
    (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 2206-2215
(=>
    (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 1984-1993
(=>
    (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 2281-2290
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2127-2134
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2171-2178
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2217-2224
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 1995-2002
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2292-2299
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2597-2604
(=>
    (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 2586-2595
(=>
    (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 3739-3743
(=>
    (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
(=>
    (and
        (instance ?YEAR1 Year)
        (instance ?YEAR2 Year)
        (equal
            (SubtractionFn ?YEAR2 ?YEAR1)
            (MeasureFn 1 YearDuration)))
    (meetsTemporally ?YEAR1 ?YEAR2))
Merge.kif 12368-12373
(=>
    (instance ?YEAR Year)
    (duration ?YEAR
        (MeasureFn 1 YearDuration)))
Merge.kif 12364-12366
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 13143-13145

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-210
(=>
    (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 216-224


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