patient
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processo
e' uma
instancia
de
Dodging
Processo
e' um
agente
de
AutonomousAgent
Processo
T e'
igual
a
tempo
de existencia de
Processo
Processo
tem por
fim
Entidade
Processo
T
encontra
tempo
de existencia de
Entidade
tempo
de existencia de
Entidade
engloba
Processo
T
Entidade
e' uma
instancia
de
Impactar
AutonomousAgent
e' um
patient
de
Entidade
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12737-12750
Processo
e' uma
instancia
de
Decodificar
ContentBearingPhysical
e' um
patient
de
Processo
Entidade
ContentBearingPhysical
,
Posicao Temporal
and
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
Posicao Temporal
e' uma &parte de
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
Codificar
ContentBearingPhysical
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?DEFENSE
DefensiveManeuver
)
(
agent
?DEFENSE ?AGENT))
(
hasPurposeForAgent
?DEFENSE
(
not
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13453-13462
Processo
e' uma
instancia
de
DefensiveManeuver
Processo
e' um
agente
de
AutonomousAgent
Processo
tem
finalidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
AutonomousAgent
e' um
patient
de
Entidade
para
AutonomousAgent
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?DESTR
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 618-630
Processo
e' uma
instancia
de
PreciseDestruction
Entidade
e' um
patient
de
Processo
Processo
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
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11995-12004
Processo
e' uma
instancia
de
Discovering
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
Processo
e' uma
instancia
de
Aprender
Processo
e' um
sub
-processo de
Processo
Entidade
e'
situado
em
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?DUD
AbsoluteDud
)
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD))
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
MilitaryDevices.kif 1398-1407
Entidade
e' uma
instancia
de
AbsoluteDud
Processo
e' uma
instancia
de
TakingOff
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Explosion
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Processo
e' uma
instancia
de
Downtick
Fisico
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
price
Fisico
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Processo
AutonomousAgent
and
Numero Real
Processo
e' uma
instancia
de
StockMarketTransaction
Fisico
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
AutonomousAgent
AutonomousAgent
encontra
AutonomousAgent
price
Fisico
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
(=>
(
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 1723-1739
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
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16689-16701
Processo
e' uma
instancia
de
Matricula
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
College
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Graduacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
SecondarySchool
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2148-2160
Objeto
e' uma
instancia
de
EngineCoolingSystem
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Resfriar
Objeto
e' um
instrumento
para
Entidade
Objeto
e' um
patient
de
Entidade
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11653-11661
Processo
e' uma
instancia
de
Processo Educacional
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Aprender
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
Processo
e' uma
instancia
de
Exfiltration
Processo
e' um
agente
de
AutonomousAgent
Processo
Entidade
Processo
e' uma
instancia
de
Fingir
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
acredita
que
Processo
0
Processo
0 e'
igual
a
Processo
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
Processo
e' uma
instancia
de
ExperiencingALumpInTheThroat
AutonomousAgent
experimenta
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Percepcao
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Throat
Objeto
e' uma &parte de
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
Processo
e' uma
instancia
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
experimenta
Processo
Processo
Processo
AIN and
Objeto
Processo
e' uma
instancia
de
Percepcao
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
AIN
Processo
AIN e' uma
instancia
de
Pain
AutonomousAgent
experimenta
Processo
AIN
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
Processo
e' uma
instancia
de
ExperiencingHeatInCheeksOrChest
AutonomousAgent
experimenta
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Percepcao
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Torso
Objeto
e' uma
instancia
de
Face
Objeto
e' uma &parte de
AutonomousAgent
(=>
(
and
(
instance
?EM
EyeMotion
)
(
agent
?EM ?A))
(
exists
(?E)
(
and
(
instance
?E
Eyelid
)
(
part
?E ?A)
(
patient
?EM ?E))))
Mid-level-ontology.kif 19942-19950
Processo
e' uma
instancia
de
EyeMotion
Processo
e' um
agente
de
AutonomousAgent
Objeto
Objeto
e' uma
instancia
de
Eyelid
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16670-16682
Processo
e' uma
instancia
de
Matricula
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
College
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Graduacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
HighSchool
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17280-17288
Processo
e' uma
instancia
de
Escaping
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Confinar
AutonomousAgent
e' um
patient
de
Processo
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
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
Transporte
Processo
termina
em
Objeto
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
Processo
A e' um
patient
de
Processo
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
Processo
e' uma
instancia
de
ExerciseAnOption
Agreement
e' um
patient
de
Processo
Agreement
tem um
atributo
de
CallOption
Processo
existe
durante
Posicao Temporal
underlier
Agreement
and
FinancialInstrument
Processo
Processo
e' uma
instancia
de
Comprar
FinancialInstrument
e' um
patient
de
Processo
Processo
existe
durante
Posicao Temporal
a
medida
de
FinancialInstrument
e' 100
ShareUnit
(s)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
Processo
e' uma
instancia
de
ExerciseAnOption
Agreement
e' um
patient
de
Processo
Agreement
tem um
atributo
de
PutOption
Processo
existe
durante
Posicao Temporal
underlier
Agreement
and
FinancialInstrument
Processo
Processo
e' uma
instancia
de
Vender
FinancialInstrument
e' um
patient
de
Processo
Processo
existe
durante
Posicao Temporal
a
medida
de
FinancialInstrument
e' 100
ShareUnit
(s)
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
Processo
e' uma
instancia
de
Folding
Objeto
e' um
patient
de
Processo
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Cobrir
Processo
e' um
sub
-processo de
Processo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
DecafAttribute
)
(
piece
?C ?F)
(
instance
?C
Caffeine
))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
destination
?R ?F)
(
patient
?R ?C))))
Food.kif 425-435
Substancia
e' uma
instancia
de
Comida
DecafAttribute
e' um
atributo
de
Substancia
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Caffeine
Processo
Processo
e' uma
instancia
de
Remover
Processo
termina
em
Substancia
Substancia
e' um
patient
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
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