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
è un'
istanza
di
PrendereInPrestito
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
DareInPrestito
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT))
(
destination
?BUY ?AGENT))
Merge.kif 11895-11899
Processo
è un'
istanza
di
Acquistare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
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
è un'
istanza
di
Acquistare
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
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
è un'
istanza
di
Bond
couponInterest
Bond
and
Interest
Bond
Holder
possiede
es
Bond
Durata
Processo
periodicPayment
AccountFn
Bond
,
Interest
and
Durata
Processo
fine
s in
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
è un'
istanza
di
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Giorno
FinancialAsset
Holder
possiede
es
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
NumeroReale
Unit�DiMisura
(s
agreementPeriod
AccountFn
FinancialAsset
and
IntervalloTemporale
interestEarned
AccountFn
FinancialAsset
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
FinancialAsset
Holder
ScambioFinanziario
si
originas in
AccountFn
FinancialAsset
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
InsiemeConcreto
è un'
istanza
di
Convoy
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
Processo
and
Entit�
Processo
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Trasporto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Processo
fine
s in
Entit�
(=>
(
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
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
Processo
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
Processo
è un'
istanza
di
Driving
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Trasporto
Processo
fine
s in
Entit�
Processo
fine
s in
Entit�
(=>
(
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
è un'
istanza
di
DustStorm
Processo
è un'
istanza
di
Wind
Processo
è un
sottoprocesso
di
Processo
Trasferimento
Oggetto
,
Oggetto
,
Oggetto
,
Oggetto
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
surfaceWindSpeed
Oggetto
and
NumeroReale
KnotUnitOfSpeed
(s
NumeroReale
è
pi
ù grande di 30.0
Trasferimento
è un'
istanza
di
Translocation
Trasferimento
è un
sottoprocesso
di
Processo
objectTransferred
Trasferimento
and
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
ParticulateMatter
Oggetto
è un'
istanza
di
Sand
Oggetto
è un'
istanza
di
SuperficieTerrestre
Trasferimento
fine
s in
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
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
è un'
istanza
di
DepositingACheck
Check
è un
paziente
di
Processo
Check
è un'
istanza
di
Check
checkAccount
Check
and
FinancialAccount
valore
di
Check
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Deposit
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
è un'
istanza
di
Edema
AutonomousAgent
esperisce
s
Processo
Movimento
Oggetto
and
Oggetto
Movimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Liquid
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
AutonomousAgent
Movimento
fine
s in
Oggetto
moves
Movimento
and
Oggetto
Movimento
è un
sottoprocesso
di
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
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Trasporto
Processo
fine
s in
Oggetto
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
Processo
A è un
paziente
di
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
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Processo
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
Entit�
Processo
si
originas in
Oggetto
(=>
(
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
Sostanza
è un'
istanza
di
Cibo
attribute
Sostanza
and
DecafAttribute
Sostanza
è un
membro
di
Sostanza
Sostanza
è un'
istanza
di
Caffeine
Processo
Processo
è un'
istanza
di
Spostamento
Processo
fine
s in
Sostanza
Sostanza
è un
paziente
di
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
è un'
istanza
di
FourStrokeIntake
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Processo
V
Processo
Processo
è un'
istanza
di
GasMotion
Processo
V è un'
istanza
di
FuelVapor
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
apertura
Processo
V è un
paziente
di
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
Oggetto
è un'
istanza
di
FuelPump
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Fuel
Processo
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
GasTank
Entit�
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
EngineCylinder
Entit�
è una
parte
di
Oggetto
Processo
si
originas in
Entit�
Processo
fine
s in
Entit�
(=>
(
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
è un'
istanza
di
GERefluxDisease
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Trasferimento
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è un'
istanza
di
Esophagus
Processo
fine
s in
Oggetto
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT))
(
destination
?GET ?AGENT))
Merge.kif 11781-11785
Processo
è un'
istanza
di
Ottenere
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
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
è un'
istanza
di
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
TelecomNumber
ha
scopo
Entit�
Entit�
è un'
istanza
di
Telephoning
Entit�
fine
s in
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Comunicazione
TelecomNumber
è uno
strumento
per
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
is
uguale
a l'
inizio
di immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
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
Entit�Concreta
è un'
istanza
di
HeartAttack
Oggetto
è un'
istanza
di
Heart
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
LiquidMotion
objectTransferred
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
Sangue
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
IntervalloTemporale
fine
s in
Oggetto
(=>
(
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
Entit�Concreta
è un'
istanza
di
Stroke
Oggetto
è un'
istanza
di
Brain
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è un'
istanza
di
NerveCell
Oggetto
è una
parte
di
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
LiquidMotion
objectTransferred
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
Sangue
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
IntervalloTemporale
fine
s in
Oggetto
(=>
(
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
è un'
istanza
di
Immigrating
Processo
è un
agente
di
AutonomousAgent
AreaGeopolitica
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
si
originas in
AreaGeopolitica
Processo
fine
s in
AreaGeopolitica
AreaGeopolitica
is
uguale
a
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
Processo
ha
scopo
AutonomousAgent
abita
s in
AreaGeopolitica
(=>
(
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
Trasferimento
è un'
istanza
di
Intubation
Oggetto
è un'
istanza
di
Tube
objectTransferred
Trasferimento
and
Oggetto
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
H
Oggetto
H è un'
istanza
di
Trachea
Oggetto
H è una
parte
di
AutonomousAgent
Trasferimento
fine
s in
Oggetto
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
è un'
istanza
di
IntraosseousInfusion
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è un'
istanza
di
BoneMarrow
Processo
fine
s in
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
InvasiveVentilator
Processo
è un'
istanza
di
Respirazione
AutonomousAgent
esperisce
s
Processo
Oggetto
è uno
strumento
per
Processo
Processo
Processo
è un'
istanza
di
Intubation
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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