eventLocated
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1532-1547
WaterWave
e' uma
instancia
de
WaterWave
waveHeight
WaterWave
and
Medida de Comprimento
Lista
Area Aquatica
,
Unidade de Medida
and
Numero Real
Medida de Comprimento
e' um
membro
de
Lista
Area Aquatica
e' uma
instancia
de
Area Aquatica
eventLocated
WaterWave
and
Area Aquatica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
WaterWave
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a 4.0 +
StandardDeviationFn
Lista
(=>
(
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
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
Objeto
e' uma
instancia
de
FireAlarm
DeviceOn
e' um
atributo
de
Objeto
Objeto
e'
situado
em
Objeto
Processo
Processo
e' uma
instancia
de
Som Irradiante
Objeto
e' um
instrumento
para
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
Entidade
e'
situado
em
Objeto
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Fire
eventLocated
Entidade
and
Objeto
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
Fisico
e' uma
instancia
de
SurveillanceSystem
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Camera
Colecao
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Colecao
e' uma
instancia
de
VideoDisplay
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
Entidade
define
Entidade
Camera
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Colecao
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
CoastalAndGreatLakesFreightTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
and
Area Geografica
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
CargoShip
eventLocated
Processo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Area Aquatica
geographicSubregion
Area Geografica
and
UnitedStates
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
CoastalAndGreatLakesPassengerTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
and
Area Geografica
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
PassengerShip
eventLocated
Processo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Area Aquatica
geographicSubregion
Area Geografica
and
UnitedStates
Entidade
Entidade
e' uma
instancia
de
ShortSeaPassengerShip
Objeto
e'
igual
a
Entidade
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
DeepSeaFreightTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
CargoShip
eventLocated
Processo
and
WorldOcean
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
DeepSeaPassengerTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
PassengerShip
eventLocated
Processo
and
WorldOcean
Entidade
Entidade
e' uma
instancia
de
ShortSeaPassengerShip
Objeto
e'
igual
a
Entidade
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
Area Geografica
Processo
e' um
membro
de
MeasuringList
Processo
e' uma
instancia
de
Medir
eventLocated
Processo
and
Area Geografica
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
Processo
proibe
a ocurrencia de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
eventLocated
Processo
and
Objeto
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
vale
durante
Intervalo Temporal
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 12211-12220
secretesSubstance
Objeto Organico
and
NaturalSubstance
Objeto
e' uma
instancia
de
Objeto Organico
Processo
Entidade
Processo
e' uma
instancia
de
Processo Biologico
eventLocated
Processo
and
Objeto
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
NaturalSubstance
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2709-2726
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Processo
AutonomousAgent
,
Objeto
and
Numero Real
Processo
e' uma
instancia
de
Looking
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
eventLocated
Processo
and
Regiao
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
FertileTerrain
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Agriculture
no role
eventLocated
(=>
(
attribute
?H
Emphysema
)
(
exists
(?L ?P)
(
and
(
instance
?L
Alveolus
)
(
part
?L ?H)
(
instance
?P
PathologicProcess
)
(
eventLocated
?P ?L))))
Mid-level-ontology.kif 6004-6011
Emphysema
e' um
atributo
de
Objeto
Objeto
Processo
Objeto
e' uma
instancia
de
Alveolus
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Processo Patologico
eventLocated
Processo
and
Objeto
(=>
(
attribute
?H
Goiter
)
(
exists
(?G ?P)
(
and
(
instance
?G
ThyroidGland
)
(
part
?G ?H)
(
instance
?P
PathologicProcess
)
(
eventLocated
?P ?G))))
Mid-level-ontology.kif 6175-6182
Goiter
e' um
atributo
de
Objeto
Objeto
Processo
Objeto
e' uma
instancia
de
ThyroidGland
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Processo Patologico
eventLocated
Processo
and
Objeto
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Hair
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Cortar
Entidade
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
e' um
agente
de
Entidade
Objeto
emprega
Entidade
(=>
(
baptizedplace
?PERSON ?PLACE)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
eventLocated
?BAPTISM ?PLACE))))
Biography.kif 192-198
baptizedplace
Humano
and
Regiao
Processo
Processo
e' uma
instancia
de
Baptizing
Humano
experimenta
Processo
eventLocated
Processo
and
Regiao
(=>
(
birthplace
?INDIV ?PLACE)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIV)
(
eventLocated
?BIRTH ?PLACE))))
Mid-level-ontology.kif 24256-24262
birthplace
Animal
and
Objeto
Processo
Processo
e' uma
instancia
de
Nascimento
Animal
experimenta
Processo
eventLocated
Processo
and
Objeto
(=>
(
burialplace
?INDIV ?PLACE)
(
exists
(?BURIAL)
(
and
(
instance
?BURIAL
Burial
)
(
patient
?BURIAL ?INDIV)
(
eventLocated
?BURIAL ?PLACE))))
Biography.kif 208-214
burialplace
Animal
and
Objeto
Processo
Processo
e' uma
instancia
de
Burial
Animal
e' um
patient
de
Processo
eventLocated
Processo
and
Objeto
(=>
(
deathplace
?P ?L)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
eventLocated
?D ?L))))
Mid-level-ontology.kif 24300-24306
deathplace
Animal
and
Objeto
Processo
Processo
e' uma
instancia
de
Morte
Animal
experimenta
Processo
eventLocated
Processo
and
Objeto
(=>
(
environmentalProblemTypeInArea
?AREA ?PROBLEM)
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?PROBLEM)
(
eventLocated
?EVENT ?AREA))))
Geography.kif 2463-2468
environmentalProblemTypeInArea
Area Geografica
and
Fisico
Processo
Processo
e' uma
instancia
de
Fisico
eventLocated
Processo
and
Area Geografica
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
eventLocated
Processo
and
Objeto
Processo
Processo
e' um
sub
-processo de
Processo
eventLocated
Processo
and
Objeto
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
eventPartlyLocated
Processo
and
Objeto
Processo
Processo
e' um
sub
-processo de
Processo
eventLocated
Processo
and
Objeto
(=>
(
hinders
?X ?PROC)
(
exists
(?L ?T)
(
decreasesLikelihood
(
and
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?PROC)
(
eventLocated
?Y ?L)))))))
Merge.kif 4399-4410
hinders
Processo
and
Processo
Entidade
Entidade
tempo
de existencia de
Processo
e'
igual
a
Entidade
eventLocated
Processo
and
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Entidade
vale
durante
Entidade
(=>
(
hindersSubclass
?PROC1 ?PROC2)
(
forall
(?TIME ?PLACE)
(
decreasesLikelihood
(
holdsDuring
?TIME
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
eventLocated
?INST1 ?PLACE))))
(
holdsDuring
?TIME
(
exists
(?INST2)
(
and
(
instance
?INST2 ?PROC2)
(
eventLocated
?INST2 ?PLACE)))))))
Merge.kif 4319-4332
hindersSubclass
Processo
and
Processo
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Entidade
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Entidade
vale
durante
Entidade
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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