destination
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
Processo
e' uma
instancia
de
Tomar Emprestado
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Emprestar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT))
(
destination
?BUY ?AGENT))
Merge.kif 11895-11899
Processo
e' uma
instancia
de
Comprar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
Processo
e' uma
instancia
de
Comprar
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
Bond
e' uma
instancia
de
Bond
couponInterest
Bond
and
Interest
Bond
Holder
possui
Bond
Duracao Temporal
Processo
periodicPayment
AccountFn
Bond
,
Interest
and
Duracao Temporal
Processo
termina
em
Bond
Holder
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
FinancialAsset
e' uma
instancia
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Dia
FinancialAsset
Holder
possui
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
Numero Real
Unidade de Medida
(s)
agreementPeriod
AccountFn
FinancialAsset
and
Intervalo Temporal
interestEarned
AccountFn
FinancialAsset
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
FinancialAsset
Holder
Transacao Financeira
tem como
origem
AccountFn
FinancialAsset
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
Colecao
e' uma
instancia
de
Convoy
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
Processo
and
Entidade
Processo
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Processo
termina
em
Entidade
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
e' uma
instancia
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
Dia
Processo
e' uma
instancia
de
Withdrawal
Processo
tem como
origem
CurrencyFn
FinancialAccount
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
comeco
de
Dia
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
Processo
e' uma
instancia
de
Dirigir
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Transporte
Processo
termina
em
Entidade
Processo
termina
em
Entidade
(=>
(
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
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
Processo
e' uma
instancia
de
DepositingACheck
Check
e' um
patient
de
Processo
Check
e' uma
instancia
de
Check
checkAccount
Check
and
FinancialAccount
o
valor
de
Check
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Deposit
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
Processo
e' uma
instancia
de
Edema
AutonomousAgent
experimenta
Processo
Movimento
Objeto
and
Objeto
Movimento
e' uma
instancia
de
Transferencia
Objeto
e' uma
instancia
de
Liquid
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
AutonomousAgent
Movimento
termina
em
Objeto
moves
Movimento
and
Objeto
Movimento
e' um
sub
-processo 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
?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
?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
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
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
Objeto
e' uma
instancia
de
FuelPump
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Fuel
Processo
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
GasTank
Entidade
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
EngineCylinder
Entidade
e' uma &parte de
Objeto
Processo
tem como
origem
Entidade
Processo
termina
em
Entidade
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
Processo
e' uma
instancia
de
GERefluxDisease
AutonomousAgent
experimenta
Processo
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Transferencia
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma
instancia
de
Esophagus
Processo
termina
em
Objeto
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT))
(
destination
?GET ?AGENT))
Merge.kif 11781-11785
Processo
e' uma
instancia
de
Obter
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
e' uma
instancia
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
TelecomNumber
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Communicacao
TelecomNumber
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
e'
igual
a o
comeco
de imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
Fisico
e' uma
instancia
de
HeartAttack
Objeto
e' uma
instancia
de
Heart
Fisico
e'
situado
em
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
LiquidMotion
objectTransferred
Intervalo Temporal
and
Objeto
Objeto
e' uma
instancia
de
Sangue
Intervalo Temporal
acontece
durante
tempo
de existencia de
Fisico
Intervalo Temporal
termina
em
Objeto
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
Fisico
e' uma
instancia
de
Stroke
Objeto
e' uma
instancia
de
Brain
Fisico
e'
situado
em
Objeto
Objeto
Objeto
e' uma
instancia
de
NerveCell
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
LiquidMotion
objectTransferred
Intervalo Temporal
and
Objeto
Objeto
e' uma
instancia
de
Sangue
Intervalo Temporal
acontece
durante
tempo
de existencia de
Fisico
Intervalo Temporal
termina
em
Objeto
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
Processo
e' uma
instancia
de
Immigrating
Processo
e' um
agente
de
AutonomousAgent
Area Geopolitica
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
tem como
origem
Area Geopolitica
Processo
termina
em
Area Geopolitica
Area Geopolitica
e'
igual
a
Area Geopolitica
AutonomousAgent
e'
membro
de
CitizenryFn
Area Geopolitica
AutonomousAgent
e'
membro
de
CitizenryFn
Area Geopolitica
Processo
tem por
fim
AutonomousAgent
vive
em
Area Geopolitica
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
Transferencia
e' uma
instancia
de
Intubation
Objeto
e' uma
instancia
de
Tube
objectTransferred
Transferencia
and
Objeto
AutonomousAgent
experimenta
Transferencia
Objeto
H
Objeto
H e' uma
instancia
de
Trachea
Objeto
H e' uma &parte de
AutonomousAgent
Transferencia
termina
em
Objeto
H
(=>
(
and
(
instance
?II
IntraosseousInfusion
)
(
patient
?II ?H))
(
exists
(?B)
(
and
(
instance
?B
BoneMarrow
)
(
destination
?II ?B)
(
part
?B ?H))))
Medicine.kif 1179-1187
Processo
e' uma
instancia
de
IntraosseousInfusion
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma
instancia
de
BoneMarrow
Processo
termina
em
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
Objeto
e' uma
instancia
de
InvasiveVentilator
Processo
e' uma
instancia
de
Respirar
AutonomousAgent
experimenta
Processo
Objeto
e' um
instrumento
para
Processo
Processo
Processo
e' uma
instancia
de
Intubation
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia 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