eventLocated
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
Processo
e' uma
instancia
de
FourStrokeCompression
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Pressurized
e' um
atributo
de
Buraco
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
Processo
e' uma
instancia
de
FourStrokeExhaust
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Entidade
Processo
Processo
e' uma
instancia
de
GasMotion
Entidade
e' uma
instancia
de
Exhaust
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Buraco
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
Processo
e' uma
instancia
de
FourStrokeIntake
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Processo
V
Processo
Processo
e' uma
instancia
de
GasMotion
Processo
V e' uma
instancia
de
FuelVapor
Processo
e' um
sub
-processo de
Processo
Processo
termina
em
Buraco
Processo
V e' um
patient
de
Processo
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
Colecao
e' uma
instancia
de
MilitaryForce
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Imprisoning
AutonomousAgent
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' um
patient
de
Processo
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
Processo
and
Objeto
WarState
e' um
atributo
de
Objeto
PrisonerOfWar
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
Objeto
e' uma
instancia
de
NuclearWeaponProductionFacility
Processo
e' uma
instancia
de
DevelopingWeaponOfMassDestruction
eventLocated
Processo
and
Objeto
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
NuclearWeapon
(=>
(
and
(
instance
?FACILITY
NuclearWeaponResearchFacility
)
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))
(
refers
?RESEARCH
NuclearWeapon
))
WMD.kif 666-671
Objeto
e' uma
instancia
de
NuclearWeaponResearchFacility
Processo
e' uma
instancia
de
ResearchingWeaponOfMassDestruction
eventLocated
Processo
and
Objeto
Processo
inclui uma
referencia
a
NuclearWeapon
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
Processo
e' uma
instancia
de
Fogging
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
Objeto
e' uma
instancia
de
Aerosal
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
que 1000.0
(=>
(
and
(
instance
?GRP
MarchingBand
)
(
instance
?MP
MusicalPerformance
)
(
agent
?MP ?GRP)
(
instance
?OD
Outdoors
)
(
eventLocated
?MP ?OD))
(
exists
(?AMB)
(
and
(
instance
?AMB
Ambulating
)
(
subProcess
?AMB ?MP))))
Music.kif 986-996
AutonomousAgent
e' uma
instancia
de
MarchingBand
Processo
e' uma
instancia
de
MusicalPerformance
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Outdoors
eventLocated
Processo
and
Objeto
Processo
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
Processo
e' uma
instancia
de
Hurricane
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
Objeto
Objeto
encontra
Objeto
Objeto
e'
igual
a
NortheasternPacificOcean
Objeto
e'
igual
a
NorthAtlanticOcean
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
Processo
e' uma
instancia
de
Hurricane
Entidade
e' uma
instancia
de
SSHWS5
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
Entidade
Numero Real
Numero Real
e'
maior
que 157.0
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Processo
e' uma
instancia
de
Hurricane
SpeedScaleAttribute
e' uma
instancia
de
SSHWSAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
Unidade de Medida
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
Processo
e' uma
instancia
de
AtmosphericHazing
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Kilometer
(s)
Numero Real
e'
maior
que 2.0
Numero Real
e'
menos
que 5.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
Processo
e' uma
instancia
de
AtmosphericHazing
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
o argumento
BadAirQuality
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
Processo
e' uma
instancia
de
HeavySurf
Objeto
e' uma
instancia
de
Area Aquatica
eventLocated
Processo
and
Objeto
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Nadar
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' um
agente
de
AutonomousAgent
eventLocated
Processo
and
Objeto
hazardous
Processo
and
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
Intervalo Temporal
e' uma
instancia
de
LowTide
Intervalo Temporal
e' uma
instancia
de
HighTide
eventLocated
Intervalo Temporal
and
Objeto
eventLocated
Intervalo Temporal
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?OP
MilitaryOperation
)
(
eventLocated
?OP ?REGION)
(
instance
?REGION
Region
))
(
areaOfOperation
?REGION ?OP))
MilitaryProcesses.kif 1326-1331
MilitaryOperation
e' uma
instancia
de
MilitaryOperation
eventLocated
MilitaryOperation
and
Regiao
Regiao
e' uma
instancia
de
Regiao
areaOfOperation
Regiao
and
MilitaryOperation
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
Processo
e' uma
instancia
de
OpeningAnAccount
eventLocated
Processo
and
FinancialOrganization
FinancialOrganization
e' uma
instancia
de
FinancialOrganization
Processo
e' um
agente
de
Agente Cognitivo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
Processo
Time
encontra
FinancialAccount
Period
FinancialAccount
e' uma
instancia
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
Processo
e' uma
instancia
de
Processo
eventLocated
Processo
and
Objeto
Processo
e' um
sub
-processo de
Processo
eventLocated
Processo
and
Objeto
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
Processo
e' uma
instancia
de
Aftershock
eventLocated
Processo
and
Objeto
Processo
Processo
e' uma
instancia
de
EarthTremor
eventLocated
Processo
and
Objeto
tempo
de existencia de
Processo
comeca
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
Processo
e' uma
instancia
de
HighPressureWeatherSystem
eventLocated
Processo
and
Objeto
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
maior
que 30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
Processo
e' uma
instancia
de
LowPressureWeatherSystem
eventLocated
Processo
and
Objeto
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
menos
que 29.5
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
Processo
e' uma
instancia
de
Tornado
Entidade
e' uma
instancia
de
EF5
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
Entidade
Numero Real
Numero Real
e'
maior
que 200.0
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
ThreeSecondGustSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
e' uma
instancia
de
Tornado
SpeedScaleAttribute
e' uma
instancia
de
EFScaleAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
MilesPerHour
(s) and
Numero Real
MilesPerHour
(s)
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
ThreeSecondGustSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
Processo
e' uma
instancia
de
TwoStrokeTransfer
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Entidade
Processo
Processo
e' uma
instancia
de
GasMotion
Entidade
e' uma
instancia
de
Exhaust
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Buraco
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
Processo
e' uma
instancia
de
Typhoon
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
NorthwesternPacificOcean
Objeto
encontra
NorthwesternPacificOcean
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