Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
FiscalYearFn
Sigma KEE - FiscalYearFn
FiscalYearFn
appearance as argument number 1
(
documentation
FiscalYearFn
EnglishLanguage
"(
FiscalYearFn
?PLACE) denotes the subclass of
TimeInterval
s that are
fiscalYearPeriod
s of the
Organization
or
GeopoliticalArea
?PLACE.")
Economy.kif 3700-3702
(
domain
FiscalYearFn
1
AutonomousAgent
)
Economy.kif 3697-3697
Die Zahl 1 Argument von
FiscalYearFn
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
FiscalYearFn
UnaryFunction
)
Economy.kif 3696-3696
FiscalYearFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
FiscalYearFn
TimeInterval
)
Economy.kif 3698-3698
Die werte die
FiscalYearFn
zurueckgibt sind
teilkategorien
von
TimeInterval
appearance as argument number 2
(
format
ChineseLanguage
FiscalYearFn
"%1 的 fiscal 年")
domainEnglishFormat.kif 1016-1016
(
format
ChineseTraditionalLanguage
FiscalYearFn
"%1 的 fiscal 年")
domainEnglishFormat.kif 1015-1015
(
format
EnglishLanguage
FiscalYearFn
"the fiscal year of %1")
domainEnglishFormat.kif 1014-1014
(
termFormat
ChineseLanguage
FiscalYearFn
"财政年度")
domainEnglishFormat.kif 23972-23972
(
termFormat
ChineseTraditionalLanguage
FiscalYearFn
"財政年度")
domainEnglishFormat.kif 23971-23971
(
termFormat
EnglishLanguage
FiscalYearFn
"fiscal year")
domainEnglishFormat.kif 23970-23970
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
Wenn
electricityConsumptionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityConsumption
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
electricityExportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityExport
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
electricityImportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityImport
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
electricityProductionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityProduction
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
exportTotalInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualExportTotal
** GeopoliticalArea
and
** CurrencyMeasure
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY
(
FiscalYearFn
?PLACE)))
(
instance
?FY ?PERIOD))
Economy.kif 3710-3714
Wenn
fiscalYearPeriod
AutonomousAgent
and
** TimeInterval
und
Entity
ist ein
fall
von
FiscalYearFn
** AutonomousAgent
%n{nicht},
dann
** Entity
ist ein
fall
von
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
annualElectricityConsumption
GeopoliticalArea
and
PhysicalQuantity
haelt
waehrend
TimePosition
%n{nicht} und
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann
electricityConsumptionInPeriod
** GeopoliticalArea
,
** PhysicalQuantity
and
** ** TimeInterval
(=>
(
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
Wenn
annualElectricityExport
GeopoliticalArea
and
PhysicalQuantity
haelt
waehrend
TimePosition
%n{nicht} und
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann
electricityExportInPeriod
** GeopoliticalArea
,
** PhysicalQuantity
and
** ** TimeInterval
(=>
(
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
Wenn
annualElectricityImport
GeopoliticalArea
and
PhysicalQuantity
haelt
waehrend
TimePosition
%n{nicht} und
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann
electricityImportInPeriod
** GeopoliticalArea
,
** PhysicalQuantity
and
** ** TimeInterval
(=>
(
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
Wenn
annualElectricityProduction
GeopoliticalArea
and
PhysicalQuantity
haelt
waehrend
TimePosition
%n{nicht} und
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann
electricityProductionInPeriod
** GeopoliticalArea
,
** PhysicalQuantity
and
** ** TimeInterval
(=>
(
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
Wenn
annualExportTotal
GeopoliticalArea
and
CurrencyMeasure
haelt
waehrend
TimePosition
%n{nicht} und
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann
exportTotalInPeriod
** GeopoliticalArea
,
** CurrencyMeasure
and
** ** TimeInterval
(=>
(
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
Wenn
annualImportTotal
GeopoliticalArea
and
CurrencyMeasure
haelt
waehrend
TimePosition
%n{nicht} und
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann
importTotalInPeriod
** GeopoliticalArea
,
** CurrencyMeasure
and
** ** TimeInterval
(=>
(
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
Wenn
importTotalInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualImportTotal
** GeopoliticalArea
and
** CurrencyMeasure
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
equal
?FY
(
FiscalYearFn
?PLACE))
(
or
(
instance
?PLACE
GeopoliticalArea
)
(
instance
?PLACE
Organization
)))
Economy.kif 3704-3708
Wenn
** TimeInterval
ist gleich
FiscalYearFn
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht} oder
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht}
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
Wenn
TimeInterval
ist ein
fall
von
FiscalYearFn
AutonomousAgent
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
YearDuration
(s) %n{nicht}
consequent
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Year
ist eine
teilkategorie
von
Year
,
dann
FiscalYearStartingFn
** AutonomousAgent
and
** Year
ist ein
fall
von
FiscalYearFn
** AutonomousAgent
%n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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