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 8855-8855
(documentation Year JapaneseLanguage "すべてのカレンダー YearClass。") japanese_format.kif 1511-1511
(relatedInternalConcept Year YearDuration) Merge.kif 8853-8853 YearDurationinternally 関連して
(relatedInternalConcept Year YearFn) Merge.kif 8852-8852 YearFninternally 関連して
(subclass Year TimeInterval) Merge.kif 8851-8851 時間間隔subclass では

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


(rangeSubclass YearFn Year) Merge.kif 8669-8669 YearFn が返す値は subclasses では
(subclass LeapYear Year) Merge.kif 9108-9108 うるう年subclass では
(termFormat ChineseLanguage Year "年") chinese_format.kif 1274-1274 うるう年subclass では
(termFormat ChineseTraditionalLanguage Year "年") domainEnglishFormat.kif 63738-63738 うるう年subclass では
(termFormat EnglishLanguage Year "year") english_format.kif 1765-1765 うるう年subclass では
(termFormat FrenchLanguage Year "ann�e") french_format.kif 952-952 うるう年subclass では
(termFormat Hindi Year "varsha") terms-hindi.txt 487-487 うるう年subclass では
(termFormat ItalianLanguage Year "Anno") terms-it.txt 491-491 うるう年subclass では
(termFormat JapaneseLanguage Year "年") japanese_format.kif 2636-2636 うるう年subclass では
(termFormat PortugueseLanguage Year "Ano") portuguese_format.kif 904-904 うるう年subclass では
(termFormat cz Year "year") terms-cz.txt 527-527 うるう年subclass では
(termFormat de Year "Jahr") terms-de.txt 786-786 うるう年subclass では
(termFormat ro Year "an") relations-ro.kif 973-973 うるう年subclass では
(termFormat tg Year "taon") terms-tg.txt 492-492 うるう年subclass では

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


(domain BirthsPerThousandFn 2 Year) People.kif 70-70 BirthsPerThousandFn の数値 2 引数は instance では
(domain ChildrenBornPerWomanFn 2 Year) People.kif 442-442 ChildrenBornPerWomanFn の数値 2 引数は instance では
(domain DeathsPerThousandFn 2 Year) People.kif 103-103 DeathsPerThousandFn の数値 2 引数は instance では
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 229-229 DeathsPerThousandLiveBirthsFn の数値 2 引数は instance では
(domain FemaleLifeExpectancyAtBirthFn 2 Year) People.kif 395-395 FemaleLifeExpectancyAtBirthFn の数値 2 引数は instance では
(domain GrossNationalProductFn 2 Year) Economy.kif 1026-1026 GrossNationalProductFn の数値 2 引数は instance では
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 298-298 LifeExpectancyAtBirthFn の数値 2 引数は instance では
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 347-347 MaleLifeExpectancyAtBirthFn の数値 2 引数は instance では
(domain MigrantsPerThousandFn 2 Year) People.kif 139-139 MigrantsPerThousandFn の数値 2 引数は instance では
(domain PopulationGrowthFn 2 Year) People.kif 37-37 PopulationGrowthFn の数値 2 引数は instance では
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year) Military.kif 993-993 ReachingMilitaryAgeAnnuallyMaleFn の数値 2 引数は instance では
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 4061-4061 FiscalYearStartingFn の数値 2 引数は subclass では
(domainSubclass MonthFn 2 Year) Merge.kif 8685-8685 MonthFn の数値 2 引数は subclass では
(domainSubclass QuarterFn 2 Year) Merge.kif 9082-9082 QuarterFn の数値 2 引数は subclass では
(domainSubclass WeekFn 2 Year) Merge.kif 9064-9064 WeekFn の数値 2 引数は subclass では
(domainSubclass lastRenovation 2 Year) Hotel.kif 748-748 lastRenovation の数値 2 引数は subclass では
(domainSubclass yearBuilt 2 Year) Hotel.kif 727-727 yearBuilt の数値 2 引数は subclass では

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 8857-8859
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9595-9597

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
(=>
    (instance ?H HarmattanSeason)
    (exists (?Y1 ?Y2)
        (and
            (instance ?Y1 Year)
            (instance ?Y2 Year)
            (meetsTemporally ?Y1 ?Y2)
            (during
                (BeginFn ?H)
                (MonthFn November ?Y1))
            (during
                (EndFn ?H)
                (MonthFn March ?Y2)))))
Weather.kif 1593-1605


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