subProcess
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?HR)
(
subProcess
?R ?K))))
Cars.kif 4301-4314
Objeto
e' uma
instancia
de
Reel
Processo
e' uma
instancia
de
Manter
Objeto
e' uma
instancia
de
Objeto Corpuscular
LongAndThin
e' um
atributo
de
Objeto
Pliable
e' um
atributo
de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Rotating
Objeto
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5847-5859
Processo
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Processo
Movimento
Processo
and
AutonomousAgent
Movimento
e' uma
instancia
de
Translocation
moves
Movimento
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organismo
Processo
e' uma
instancia
de
Reproducao
AutonomousAgent
experimenta
Processo
Movimento
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?L
Lathe
)
(
instance
?OBJ
Object
)
(
instrument
?PROC ?L)
(
patient
?PROC ?OBJ))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
subProcess
?PROC ?R)
(
patient
?R ?OBJ)
(
agent
?R ?L))))
Economy.kif 6000-6011
AutonomousAgent
e' uma
instancia
de
Lathe
Entidade
e' uma
instancia
de
Objeto
AutonomousAgent
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Rotating
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?MC
MusicalComposition
)
(
realization
?MC ?MUSIC))
(
not
(
exists
(?LC ?V)
(
and
(
instance
?V
Singing
)
(
patient
?V ?LC)
(
instance
?LC
LyricalContent
)
(
subProcess
?V ?MUSIC)))))
Mid-level-ontology.kif 13752-13762
Processo
e' uma
instancia
de
MusicalComposition
Processo
exprime
o conteudo de
Processo
Entidade
Processo
Processo
e' uma
instancia
de
Singing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
LyricalContent
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Objeto
Processo
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
Objeto
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
Processo
e' uma
instancia
de
MakingVocalMusic
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Choir
AutonomousAgent
e'
membro
de
AutonomousAgent
vale
durante
Processo
Processo
Processo
e' uma
instancia
de
Singing
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
Processo
e' uma
instancia
de
Ordaining
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
Humano
Fisico
e'
membro
de
Christianity
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ceremony
Entidade
e' uma
instancia
de
Appointing
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
patient
de
Entidade
appointedPosition
Entidade
,
Fisico
and
Cleric
(=>
(
and
(
instance
?R
BaseballRun
)
(
agent
?R ?A))
(
exists
(?T ?H)
(
and
(
instance
?T
Touching
)
(
subProcess
?T ?R)
(
agent
?T ?A)
(
patient
?T ?H)
(
instance
?H
HomeBase
))))
Sports.kif 624-634
Processo
e' uma
instancia
de
BaseballRun
Processo
e' um
agente
de
AutonomousAgent
Processo
Entidade
Processo
e' uma
instancia
de
Tocar
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
HomeBase
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
M e' um
instrumento
para
Processo
Processo
M e' uma
instancia
de
RowingMachine
AutonomousAgent
experimenta
Processo
Processo
OW e' uma
instancia
de
Rowing
Processo
MOT e' um
sub
-processo de
Processo
Classe
e' uma
sub
-classe de
Movimento do Corpo
Processo
MOT e' uma
instancia
de
Classe
Processo
OWMOT
Processo
OWMOT e' uma
instancia
de
Classe
Processo
OWMOT e' um
sub
-processo de
Processo
Processo
OWMOT e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?R
Robbing
)
(
agent
?R ?P)
(
patient
?R ?P2))
(
exists
(?T)
(
and
(
instance
?T
Threatening
)
(
subProcess
?T ?R)
(
patient
?T
(
exists
(?A)
(
and
(
instance
?A
Attack
)
(
agent
?A ?P)
(
patient
?A ?P2)))))))
Mid-level-ontology.kif 18600-18614
Processo
e' uma
instancia
de
Robbing
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
2 e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Threatening
Processo
e' um
sub
-processo de
Processo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
AutonomousAgent
AutonomousAgent
2 e' um
patient
de
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?RR
RunningARace
)
(
agent
?RR ?H))
(
exists
(?R)
(
and
(
instance
?R
Running
)
(
agent
?R ?H)
(
subProcess
?R ?RR))))
Sports.kif 265-273
Processo
e' uma
instancia
de
RunningARace
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Running
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?RbF
ReconnaissanceByFire
)
(
agent
?RbF ?AGENT))
(
exists
(?ATTACK ?HOSTILE)
(
and
(
patient
?RbF ?HOSTILE)
(
subProcess
?ATTACK ?RbF)
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))
MilitaryProcesses.kif 713-723
Processo
e' uma
instancia
de
ReconnaissanceByFire
Processo
e' um
agente
de
AutonomousAgent
Processo
Entidade
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Attack
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?S
Song
)
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV ?LC ?MC)
(
and
(
instance
?MM
MakingMusic
)
(
instance
?MV
Singing
)
(
instance
?LC
LyricalContent
)
(
instance
?MC
MusicalComposition
)
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Mid-level-ontology.kif 13771-13784
Processo
e' uma
instancia
de
Song
Processo
exprime
o conteudo de
Processo
Processo
Processo
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
Singing
Entidade
e' uma
instancia
de
LyricalContent
Entidade
e' uma
instancia
de
MusicalComposition
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
Processo
e' uma
instancia
de
Stroke
Objeto
e' uma
instancia
de
Brain
Processo
e'
situado
em
Objeto
Fisico
Processo
Fisico
e' uma
instancia
de
NerveCell
Fisico
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Destrucao
Processo
e' um
sub
-processo de
Processo
Fisico
e' um
patient
de
Processo
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
Objeto
e' uma
instancia
de
Saw
Processo
e' uma
instancia
de
Cortar
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Processo
Processo
Entidade
,
Entidade
,
Intervalo Temporal
,
Posicao Temporal
,
Posicao Temporal
and
Objeto
Processo
e' uma
instancia
de
Movimento
Processo
e' um
sub
-processo de
Processo
Objeto
e' uma
instancia
de
CuttingDevice
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
e' um
patient
de
Processo
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Entidade
e' uma
instancia
de
Atributo Directional
Entidade
e' uma
instancia
de
Atributo Directional
as entidades no processo
Processo
se
movem
Entidade
vale
durante
Posicao Temporal
as entidades no processo
Processo
se
movem
Entidade
Entidade
e'
igual
a
Entidade
oppositeDirection
Entidade
and
Entidade
~{
Entidade
e'
igual
a
Entidade
} ~{
oppositeDirection
Entidade
and
Entidade
}
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
Processo
e' uma
instancia
de
Sharing
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Objeto
e' um
patient
de
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Dar
Processo
e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
(=>
(
and
(
instance
?SP
SportsPlay
)
(
realization
?P ?SP))
(
exists
(?S)
(
and
(
instance
?S
TeamSport
)
(
instance
?P
Maneuver
)
(
subProcess
?P ?S))))
Mid-level-ontology.kif 16643-16651
Proposicao
e' uma
instancia
de
SportsPlay
Processo
exprime
o conteudo de
Proposicao
Processo
Processo
e' uma
instancia
de
TeamSport
Processo
e' uma
instancia
de
Manobra
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transferencia
e' uma
instancia
de
Thoracentesis
Objeto
e' um
patient
de
Transferencia
Transferencia
Objeto
,
Transferencia
N,
Objeto
,
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Inserting
Transferencia
e' um
sub
-processo de
Transferencia
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
N
Objeto
e' uma
instancia
de
Needle
Fluid
e' um
atributo
de
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
termina
em
Objeto
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Transferencia
tem como
origem
Transferencia
N
Transferencia
termina
em
Objeto
Transferencia
N esta'
entre
Objeto
e
Objeto
Objeto
e'
Outside
em relacao a
Objeto
(=>
(
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
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
Processo
e' uma
instancia
de
Translocation
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
tem como
origem
Objeto
Processo
termina
em
Objeto
Processo
termina
em
Entidade
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
comeca
em
tempo
de existencia de
Processo
tempo
de existencia de
Processo
termina
em
tempo
de existencia de
Processo
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
Processo
e' uma
instancia
de
MultivariateTest
Experimenting
e' um
sub
-processo de
Processo
Experimenting
e' um
sub
-processo de
Processo
Experimenting
e' uma
instancia
de
Experimenting
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
Processo
Processo
e' uma
instancia
de
Processo
experimentalVariableProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
Objeto
e' uma
instancia
de
HighPrecisionWeapon
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?WI
WindInstrument
)
(
instance
?M
MakingInstrumentalMusic
)
(
agent
?M ?A)
(
instrument
?M ?WI))
(
exists
(?B)
(
and
(
instance
?B
Exhaling
)
(
agent
?B ?A)
(
subProcess
?B ?M))))
Music.kif 1203-1213
Objeto
e' uma
instancia
de
WindInstrument
Processo
e' uma
instancia
de
MakingInstrumentalMusic
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
Processo
e' uma
instancia
de
Exhaling
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?X
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
Processo
e' uma
instancia
de
DryRoasting
Entidade
e' uma
instancia
de
Comida
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
e' uma
instancia
de
Aquecer
Entidade
e' uma
instancia
de
Stirring
Entidade
e' um
sub
-processo de
Processo
Entidade
e' um
sub
-processo de
Processo
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Oil
Entidade
e' uma
instancia
de
DrinkingWater
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
vale
durante
Processo
(=>
(
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
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