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
(
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
(
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
(
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
(
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
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