destination
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
Transacao Financeira
e' uma
instancia
de
Deposit
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?E
Entombing
)
(
destination
?E ?T))
(
instance
?T
Tomb
))
Mid-level-ontology.kif 18049-18053
Processo
e' uma
instancia
de
Entombing
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Tomb
(=>
(
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
?E
RadioEmission
)
(
destination
?E ?D))
(
instance
?D
ReceiverDevice
))
Mid-level-ontology.kif 1807-1811
Processo
e' uma
instancia
de
RadioEmission
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
ReceiverDevice
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Processo
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
termina
em
Entidade
Processo
tem como
origem
Objeto
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area Geopolitica
Processo
termina
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Processo
tem como
origem
Objeto
Entidade
e' uma
instancia
de
Area Geopolitica
Processo
termina
em
Entidade
Objeto
e'
igual
a
Entidade
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Processo
tem como
origem
Objeto
Fisico
e' uma
instancia
de
Area Geopolitica
Processo
termina
em
Fisico
Fisico
e'
situado
em
Objeto
(=>
(
and
(
instance
?F
Feeding
)
(
destination
?F ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 11582-11586
Processo
e' uma
instancia
de
Feeding
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Animal
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
Processo
e' uma
instancia
de
Scholarship
Processo
termina
em
Entidade
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
EducationalProgram
Entidade
exprime
o conteudo de
Entidade
Entidade
experimenta
Entidade
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
Area Aquatica
e' uma
instancia
de
Waterfall
WaterMotion
e' uma
instancia
de
WaterMotion
flowCurrent
WaterMotion
and
Area Aquatica
WaterMotion
tem como
origem
Objeto
WaterMotion
termina
em
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Above
em relacao a
Objeto
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
Objeto
e' uma
instancia
de
FuelPump
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Movimento
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Fuel
Processo
e' um
patient
de
Movimento
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
GasTank
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
EngineCylinder
Objeto
e' uma &parte de
Objeto
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem por
fim
Processo
F
Processo
F e' uma
instancia
de
FuelFilter
betweenOnPath
Objeto
,
Processo
F,
Objeto
and
Objeto
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11673-11685
Processo
e' uma
instancia
de
Dar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Obter
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Transferencia
e' uma
instancia
de
Ingerir
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Hallucinogen
Transferencia
termina
em
Entidade
o argumento
Objeto
AL
Objeto
AL e' uma
instancia
de
Hallucination
Entidade
experimenta
Objeto
AL tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Transferencia
e' uma
instancia
de
Injecting
Objeto
e' uma
instancia
de
Adalimumab
objectTransferred
Transferencia
and
Objeto
Transferencia
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Transferencia
termina
em
Entidade
o argumento
Entidade
PainFn
Objeto
e' um
atributo
de
Entidade
vale
durante
Entidade
Entidade
acontece
durante
apos
tempo
de existencia de
Transferencia
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
termina
em
Entidade
ComputerProcess
tem por
fim
DigitalData
ROC
computerRunning
DigitalData
ROC and
Entidade
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11424-11431
Processo
e' uma
instancia
de
Inserting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
nao
contem
%n
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
contem
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Objeto
e' uma
instancia
de
Lever
Processo
e' uma
instancia
de
Pushing
Fisico
e' uma
instancia
de
Movimento
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Processo
termina
em
Objeto
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
situado
em
Processo
1
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
2
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
3
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
4
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
a
distancia
entre
Processo
1 e
Processo
2 e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Processo
3 e
Processo
4 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?L
LoadingWeapon
)
(
destination
?L ?W))
(
instance
?W
ProjectileLauncher
))
Mid-level-ontology.kif 1378-1382
Processo
e' uma
instancia
de
LoadingWeapon
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
ProjectileLauncher
(=>
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))))
Merge.kif 11744-11755
Processo
e' uma
instancia
de
Emprestar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Tomar Emprestado
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
termina
em
Entidade
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Movimento
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
Processo
e' uma
instancia
de
MovingAwayFromPeople
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e'
igual
a
Entidade
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
Processo
e' uma
instancia
de
MovingTowardsPeople
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e'
igual
a
Entidade
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processo
e' uma
instancia
de
BankCardPayment
Processo
termina
em
Objeto
Objeto
e'
capaz
de fazer
BankCardPayment
no role
destination
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processo
e' uma
instancia
de
FoodPickup
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Objeto
Processo
and
Processo
AutonomousAgent
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Translocation
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Obter
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
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