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
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
(=>
(
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
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
(=>
(
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
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
(=>
(
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
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
例
AutonomousAgent
and
AutonomousAgent
子類
年
and
年
例
AutonomousAgent
和
年
的
fiscal
開始年分 and
AutonomousAgent
的
fiscal
年
(=>
(
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
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
(=>
(
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
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
import
全部
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸入
(=>
(
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
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸入
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
import
全部
(=>
(
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
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
(=>
(
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
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
(=>
(
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
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
(=>
(
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
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
(=>
(
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
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
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