Term Intersection
: 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
Term 1:
Term 2:
(=>
(
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
(
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}
(=>
(
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
(
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}
(=>
(
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
(
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
(
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
(
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
(
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
(
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
(
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
(
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
(
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
(
subclass
Year
TimeInterval
)
Merge.kif 8738-8738
Year
ist eine
teilkategorie
von
TimeInterval
(
subclass
LeapYear
Year
)
Merge.kif 8995-8995
LeapYear
ist eine
teilkategorie
von
Year
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