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
(
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
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
Fisico
e' uma
instancia
de
ProtectiveEyewear
Fisico
tem por
fim
Fisico
RSON
Fisico
RSON e' uma
instancia
de
Humano
Fisico
RSON
usa
Fisico
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
Processo
e' uma
instancia
de
BreakingRecord
Processo
e' um
agente
de
AutonomousAgent
Conjunto
Classe
,
Processo
,
Ponto no tempo
,
Role em Caso
,
Objeto
and
Entidade
Conjunto
e' uma
instancia
de
Conjunto
AutonomousAgent
e' um
elemento
de
Conjunto
Classe
e' uma
sub
-classe de
Processo
Objeto
e' uma
instancia
de
Regiao
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Entidade
e' uma
instancia
de
Quantidade
Processo
e' uma
instancia
de
Classe
Processo
inclui uma
referencia
a
Entidade
Entidade
inclui uma
referencia
a
Processo
playsRoleInEvent
AutonomousAgent
,
Role em Caso
and
Processo
eventLocated
Processo
and
Objeto
Entidade
Entidade
Entidade
e' uma
instancia
de
Conjunto
Entidade
e'
igual
a
AutonomousAgent
Entidade
e' uma
instancia
de
Classe
playsRoleInEvent
Entidade
,
Role em Caso
and
Entidade
eventLocated
Entidade
and
Objeto
vale
durante o
intervalo
entre
Ponto no tempo
e o
fim
de
tempo
de existencia de
Processo
(=>
(
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
(
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
(
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
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
Fisico
e' uma
instancia
de
Protecting
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
ARM
Entidade
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Fisico
Entidade
ARM e' uma
sub
-classe de a
classe
descrita por
Entidade
Fisico
proibe
a ocurrencia de
Entidade
ARM
hinders
Fisico
and
Entidade
ARM
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
Entidade
e' uma
instancia
de
OccupationalTrade
Entidade
e' uma
instancia
de
Profession
Entidade
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Classe
Classe
e' uma
sub
-classe de
Campo de Estudos
hasExpertise
Entidade
and
Classe
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Periodico
PeriodicalPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao 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
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
Entidade
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validityPeriod
PricingScheme
and
Intervalo Temporal
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
vale
durante
Intervalo Temporal
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Fisico
e' uma
instancia
de
Iceberg
Classe
Classe
e' uma
sub
-classe de
Glacier
Classe
e'
feito
de
Fisico
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
MusicalComposition
MusicPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Livro
BookPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao 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
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Newspaper
NewspaperPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
e' uma
instancia
de
SafetyHarness
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Animal
e' um
patient
de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
(=>
(
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
(
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
(
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
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Texto
InformationIndustries
e' um
atributo
de
Entidade
vale
durante
Posicao 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
(=>
(
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
(
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
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