Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
eventLocated
Sigma KEE - eventLocated
eventLocated
appearance as argument number 1
(
documentation
eventLocated
ChineseLanguage
"(
eventLocated
?PROC ?OBJ) 的意思是整个
Process
?PROC 是位于
Object
?OBJ,也就是说所有 ?PROC 的
subProcess
是位于 ?OBJ。")
chinese_format.kif 2115-2116
(
documentation
eventLocated
EnglishLanguage
"(
eventLocated
?PROC ?OBJ) means that the entire
Process
?PROC is located on
Object
?OBJ, meaning that all
subProcess
of ?PROC is located on ?OBJ.")
Merge.kif 4123-4125
(
documentation
eventLocated
JapaneseLanguage
"(
eventLocated
?PROC ?OBJ) とは、
Process
?PROC 全体が
Object
?OBJ 上に配置され、?PROC のすべての
subProcess
が ?OBJ上に配置されるこ とを意味する。")
japanese_format.kif 767-769
(
instance
eventLocated
CaseRole
)
Merge.kif 4120-4120
eventLocated
e' uma
instancia
de
Role em Caso
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4121-4121
eventLocated
e' uma
instancia
de
Relacao Total
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4119-4119
eventLocated
e' uma
sub
-relacao de
eventPartlyLocated
appearance as argument number 2
(
format
ChineseLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3326-3326
(
format
ChineseTraditionalLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3325-3325
(
format
EnglishLanguage
eventLocated
"%1 is
located
at %2")
domainEnglishFormat.kif 3324-3324
(
termFormat
EnglishLanguage
eventLocated
"event located")
english_format.kif 1845-1845
antecedent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
Objeto
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
VolcanicEruption
eventLocated
Processo
and
Objeto
GeologicallyStable
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
Objeto
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
EarthTremor
eventLocated
Processo
and
Objeto
GeologicallyStable
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
ClearWeather
eventLocated
Processo
and
Regiao
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
menos
que 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
ClearWeather
eventLocated
Processo
and
Regiao
Numero Real nao-negativo
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
menos
que 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
OvercastWeather
eventLocated
Processo
and
Regiao
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
maior
que 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
OvercastWeather
eventLocated
Processo
and
Regiao
Numero Real nao-negativo
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
maior
que 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
PartlyCloudyWeather
eventLocated
Processo
and
Regiao
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
maior
ou igual a 0.3
Numero Real nao-negativo
e'
menor
ou igual a 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
PartlyCloudyWeather
eventLocated
Processo
and
Regiao
Numero Real nao-negativo
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
maior
ou igual a 0.3
Numero Real nao-negativo
e'
menor
ou igual a 0.7
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
Objeto
e' uma
instancia
de
ArtSchool
Processo
e' uma
instancia
de
Processo Educacional
eventLocated
Processo
and
Objeto
Processo
Entidade
Processo
e' uma
instancia
de
Fazer
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto de Arte
Processo
inclui uma
referencia
a
Processo
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
Objeto
e' uma
instancia
de
BrakePedal
Processo
e' uma
instancia
de
Pushing
Objeto
e' uma
instancia
de
Vehicle
Processo
termina
em
Objeto
eventLocated
Processo
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
WearingFrictionSurface
Entidade
e' uma
instancia
de
Friction
Entidade
e' um
instrumento
para
Entidade
Processo
causa
Entidade
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Processo
e' uma
instancia
de
CateringService
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
UST
AutonomousAgent
e'
situado
em
Objeto
customer
Processo
UST and
AutonomousAgent
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Processo
UST
eventLocated
Processo
and
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
instance
?CS
CyclonicStorm
)
(
instance
?AS
AirStream
)
(
eventLocated
?CS ?AS))
(
attribute
?AS
Cylinder
))
Weather.kif 572-577
Processo
e' uma
instancia
de
CyclonicStorm
Objeto
e' uma
instancia
de
AirStream
eventLocated
Processo
and
Objeto
Cylinder
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2492-2505
Processo
e' uma
instancia
de
Desertification
eventLocated
Processo
and
Objeto
Entidade
Entidade
Entidade
e' uma
instancia
de
ArableLand
Entidade
e' uma
instancia
de
Desert
Objeto
engloba
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Objeto
engloba
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
Intervalo Temporal
e' uma
instancia
de
Drought
eventLocated
Intervalo Temporal
and
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
Raining
Objeto
e' uma
instancia
de
Regiao
eventLocated
Intervalo Temporal
and
Objeto
Objeto
engloba
Objeto
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
Processo
e' uma
instancia
de
DustStorm
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
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
Crankcase
Fisico
e' uma
instancia
de
Piston
Processo
e' uma
instancia
de
TwoStrokeTransfer
Fisico
e'
situado
em
Objeto
vale
durante
Processo
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Fisico
tem por
fim
Fisico
completa
partialmente
Buraco
vale
durante
Processo
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Fisico
e' uma
instancia
de
Piston
Processo
e' uma
instancia
de
TwoStrokeIntake
Fisico
e'
situado
em
Objeto
vale
durante
Processo
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Fisico
tem por
fim
Fisico
completa
partialmente
Buraco
vale
durante
Processo
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
Entidade
e' uma
instancia
de
EngineChoke
DeviceOn
e' um
atributo
de
Entidade
vale
durante
Processo
DeviceOff
e' um
atributo
de
Entidade
vale
durante
Processo
Objeto auto-conectado
e' uma
instancia
de
EngineCylinder
capacity
Objeto auto-conectado
and
Quantidade Constante
Processo
e' uma
instancia
de
FourStrokeCompression
Processo
e' uma
instancia
de
FourStrokeCompression
eventLocated
Processo
and
Objeto auto-conectado
eventLocated
Processo
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Air
Objeto
e' uma
instancia
de
Fuel
Objeto
e' uma &parte de
Quantidade Constante
IX1
Objeto
e' uma &parte de
Quantidade Constante
IX1 a
medida
de
Quantidade Constante
IX1 e'
Quantidade Constante
Objeto
e' uma
instancia
de
Air
Objeto
e' uma
instancia
de
Fuel
Objeto
e' uma &parte de
Quantidade Constante
IX2
Objeto
e' uma &parte de
Quantidade Constante
IX2 a
medida
de
Quantidade Constante
IX2 e'
Quantidade Constante
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s) a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s) a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s) a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s)
Objeto
M +
Objeto
M e'
maior
que
Objeto
M +
Objeto
M
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
Processo
e' uma
instancia
de
EngineCycle
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
maxCylinderVolume
Objeto
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
Numero Real
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
Processo
e' uma
instancia
de
EngineCycle
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
minCylinderVolume
Objeto
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
Numero Real
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
Processo
e' uma
instancia
de
EngineCycle
Engine
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
Piston
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Objeto
e' uma &parte de
Engine
Objeto
e' um
patient
de
Processo
eventLocated
Processo
and
Engine
pistonStroke
Engine
and
Numero Real
Unidade de Medida
(s)
Intervalo Temporal
Intervalo Temporal
,
Fisico
,
Fisico
and
Numero Real
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
Objeto
e'
situado
em
Fisico
vale
durante
Intervalo Temporal
Objeto
e'
situado
em
Fisico
vale
durante
Intervalo Temporal
a
distancia
entre
Fisico
e
Fisico
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17585-17600
Processo
e' uma
instancia
de
Flooding
eventLocated
Processo
and
Objeto
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
Processo
e' uma
instancia
de
Flooding
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
tempo
de existencia de
Processo
o argumento
Objeto
e' uma
instancia
de
SubmergedLandArea
vale
durante
Ponto no tempo
tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
Processo
e' uma
instancia
de
FourStrokeCombustion
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
Objeto
O
Objeto
O e' uma
instancia
de
Combustao
Objeto
O e' um
sub
-processo de
Processo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16852-16861
almaMater
Humano
and
PostSecondarySchool
Processo
Processo
e' uma
instancia
de
Processo Educacional
Processo
termina
em
Humano
eventLocated
Processo
and
PostSecondarySchool
Student
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
StudioRecording
e' um
atributo
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
instancia
de
Recording
Processo
Objeto
record
Objeto Representendo Conteudo Abstrato
and
Processo
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
RecordingStudio
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
DeepSeaCoastalAndGreatLakesWaterTransportation
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
TransportationCompany
ServiceProcess
Objeto
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
eventLocated
ServiceProcess
and
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Agente Cognitivo
e'
situado
em
NorthAmerica
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26594-26602
Historical
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Cidade
Objeto
Objeto
e' uma
instancia
de
Fisico
Historical
e' um
atributo
de
Objeto
eventLocated
Objeto
and
Objeto
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26159-26171
WheelchairAccessible
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e' uma
instancia
de
Comodo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Movimento
Entidade
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Wheelchair
eventLocated
Entidade
and
Objeto
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?BC
BoosterChair
)
(
instance
?H
HumanChild
))
(
hasPurposeForAgent
?BC
(
and
(
attribute
?H
Sitting
)
(
eventLocated
?H ?BC)) ?H))
Dining.kif 840-847
Fisico
e' uma
instancia
de
BoosterChair
AutonomousAgent
e' uma
instancia
de
HumanChild
Fisico
tem
finalidade
Sitting
e' um
atributo
de
AutonomousAgent
eventLocated
AutonomousAgent
and
Fisico
para
AutonomousAgent
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma
instancia
de
IntermittentCombustionEngine
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Explosion
Entidade
e' uma
instancia
de
Rotating
Objeto
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
causa
Entidade
(=>
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?EVENT
Transportation
)
(
instrument
?EVENT ?CRAFT))
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
eventLocated
?EVENT ?WATER))))
Mid-level-ontology.kif 3498-3506
Objeto
e' uma
instancia
de
WaterVehicle
Processo
e' uma
instancia
de
Transporte
Objeto
e' um
instrumento
para
Processo
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
eventLocated
Processo
and
Objeto
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
Intervalo Temporal
e' uma
instancia
de
Drought
eventLocated
Intervalo Temporal
and
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
Raining
Objeto
e' uma
instancia
de
Regiao
eventLocated
Intervalo Temporal
and
Objeto
Objeto
engloba
Objeto
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
Processo
e' uma
instancia
de
DustStorm
Processo
e' uma
instancia
de
Wind
Processo
e' um
sub
-processo de
Processo
Transferencia
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
surfaceWindSpeed
Objeto
and
Numero Real
KnotUnitOfSpeed
(s)
Numero Real
e'
maior
que 30.0
Transferencia
e' uma
instancia
de
Translocation
Transferencia
e' um
sub
-processo de
Processo
objectTransferred
Transferencia
and
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto
e' uma
instancia
de
Sand
Objeto
e' uma
instancia
de
Area terrestre
Transferencia
termina
em
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
Objeto Corpuscular
e' uma
instancia
de
Exhaust
Fuel
e'
feito
de
Objeto Corpuscular
Transferencia
e' uma
instancia
de
Transferencia
Objeto Corpuscular
NG e' uma
instancia
de
Engine
Transferencia
tem como
origem
Objeto Corpuscular
NG
Fisico
e' uma
instancia
de
CatalyticConverter
Transferencia
termina
em
Fisico
objectTransferred
Transferencia
and
Objeto Corpuscular
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Combustao
Fisico
e' um
instrumento
para
Entidade
Objeto Corpuscular
e' um
patient
de
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Objeto
Processo
e' um
agente
de
Organizacao
Processo
Processo
A
Processo
e' uma
instancia
de
Preservar
eventLocated
Processo
and
Objeto
Processo
e' um
sub
-processo de
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
Processo
A
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
CultivatedLandArea
e' uma
instancia
de
Garden
plantInArea
Planta
and
CultivatedLandArea
CultivatedLandArea
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
eventLocated
Entidade
and
CultivatedLandArea
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
Objeto
e' uma
instancia
de
Gene
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Celula
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Processo Biologico
eventLocated
Processo
and
Objeto
Processo
tem como
origem
Objeto
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Nucleotide
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RNAMolecule
Objeto
e'
situado
em
Objeto
(=>
(
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
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
Colecao
e' uma
instancia
de
Organizacao
MiscellaneousStoreRetailers
e' um
atributo
de
Colecao
Processo
Fisico
,
Entidade
,
Objeto
and
AutonomousAgent
Fisico
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
RetailStore
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
Colecao
e' uma
instancia
de
Organizacao
NonstoreRetailers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Objeto
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
termina
em
Entidade
Entidade
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
Entidade
e' uma
instancia
de
ForestProduct
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Organismo
Processo
Objeto
Processo
e' uma
instancia
de
Agriculture
Entidade
e' o
resultado
de
Processo
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Forest
(=>
(
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
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
e' uma
instancia
de
Restaurant
Objeto
e' uma
instancia
de
DiningRoom
PrivateAttribute
e' um
atributo
de
Objeto
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
GroupOfPeople
o argumento
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
Agente Cognitivo
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Objeto
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
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
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Objeto
issuedBy
AutonomousAgent
and
Agente Cognitivo
AmusementGamblingAndRecreationIndustries
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e'
situado
em
Objeto
confersNorm
Agente Cognitivo
,
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Objeto
experimenta
Entidade
eventLocated
Entidade
and
Objeto
and
Permission
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
Processo
e' uma
instancia
de
Tornado
Processo
e' uma
instancia
de
Rotating
Objeto
e' uma
instancia
de
Air
Processo
RAN e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
RAN e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
RAN as entidades no processo
Processo
RAN se
movem
Horizontal
Objeto
Objeto auto-conectado
,
Processo
OP,
Objeto auto-conectado
,
Objeto auto-conectado
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
ConeSegment
e' um
atributo
de
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Processo
OP o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Cloud
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Processo
OP
encontra
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
Intervalo Temporal
e' uma
instancia
de
TwoStrokeCompression
eventLocated
Intervalo Temporal
and
Objeto
Objeto
e' uma
instancia
de
TwoStrokeEngine
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Explosion
Intervalo Temporal
acontece
durante
Intervalo Temporal
eventLocated
Intervalo Temporal
and
Objeto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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