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
electricityProductionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityProduction
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Ano
e' uma
sub
-classe de
Ano
FiscalYearStartingFn
AutonomousAgent
and
Ano
e' uma
instancia
de
FiscalYearFn
AutonomousAgent
(=>
(
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
annualExportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
exportTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
(=>
(
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
importTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualImportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
(=>
(
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
annualImportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
importTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
(=>
(
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
electricityExportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityExport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
(=>
(
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
electricityConsumptionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityConsumption
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
(=>
(
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
annualElectricityExport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityExportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
(=>
(
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
annualElectricityProduction
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityProductionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
(=>
(
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
electricityImportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityImport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
(=>
(
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
exportTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualExportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
(=>
(
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
annualElectricityConsumption
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityConsumptionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
(=>
(
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
annualElectricityImport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityImportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
(
subclass
Year
TimeInterval
)
Merge.kif 8738-8738
Ano
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
LeapYear
Year
)
Merge.kif 8995-8995
Ano Bissexto
e' uma
sub
-classe de
Ano
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