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
Processus
est une
instance
de
emprunter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
pr�ter
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT))
(
destination
?BUY ?AGENT))
Merge.kif 11895-11899
Processus
est une
instance
de
acheter
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
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
Processus
est une
instance
de
acheter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
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
est une
instance
de
Bond
couponInterest
Bond
and
Interest
Bond
Holder
poss
�de
Bond
dur�e temporel
processus
periodicPayment
AccountFn
Bond
,
Interest
and
dur�e temporel
processus
aboutit
�
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
est une
instance
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
jour
FinancialAsset
Holder
poss
�de
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
nombre r�el
unit� de mesure
(s)
agreementPeriod
AccountFn
FinancialAsset
and
interval temporel
interestEarned
AccountFn
FinancialAsset
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
FinancialAsset
Holder
financial transaction
a pour
origine
AccountFn
FinancialAsset
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(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
Collection
est une
instance
de
Convoy
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est
AutonomousAgent
processus
processus
and
entit�
processus
est une
instance
de
transporter
processus
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
processus
aboutit
�
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
est une
instance
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
jour
processus
est une
instance
de
Withdrawal
processus
a pour
origine
CurrencyFn
FinancialAccount
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
le
d
�but de
jour
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
Processus
est une
instance
de
conduire
processus
est un
sous
-processus de
processus
processus
est une
instance
de
transporter
processus
aboutit
�
entit�
processus
aboutit
�
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
Processus
est une
instance
de
DustStorm
processus
est une
instance
de
Wind
processus
est un
sous
-processus de
processus
transf�re
objet
,
objet
,
objet
,
objet
and
nombre r�el
objet
est une
instance
de
zone de terre
eventLocated
processus
and
objet
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
nombre r�el
est
plus
grand
que 30.0
transf�re
est une
instance
de
Translocation
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
ParticulateMatter
objet
est une
instance
de
Sand
objet
est une
instance
de
zone de terre
transf�re
aboutit
�
objet
objet
ne
recouvre
%n{pas}
objet
(=>
(
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
Processus
est une
instance
de
DepositingACheck
Check
est un
patient
de
processus
Check
est une
instance
de
Check
checkAccount
Check
and
FinancialAccount
valeur
de
Check
est
mesure de devise
financial transaction
financial transaction
est une
instance
de
Deposit
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
Processus
est une
instance
de
Edema
AutonomousAgent
exp
�rimente
processus
d�palcement
objet
and
objet
d�palcement
est une
instance
de
transf�re
objet
est une
instance
de
Liquid
objet
est une
instance
de
partie du corps
objet
est une
partie
de
AutonomousAgent
d�palcement
aboutit
�
objet
moves
d�palcement
and
objet
d�palcement
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
transporter
processus
aboutit
�
objet
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
processus
A est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
aboutit
�
entit�
processus
a pour
origine
objet
(=>
(
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
Substance
est une
instance
de
nourriture
DecafAttribute
est un
attribut
de
substance
substance
est une
pi
�ce de
substance
substance
est une
instance
de
Caffeine
processus
processus
est une
instance
de
supprimer
processus
aboutit
�
substance
substance
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeIntake
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
processus
V
processus
processus
est une
instance
de
GasMotion
processus
V est une
instance
de
FuelVapor
processus
est un
sous
-processus de
processus
processus
aboutit
�
trou
processus
V est un
patient
de
processus
(=>
(
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
Objet
est une
instance
de
FuelPump
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
processus
est une
instance
de
transporter
processus
est une
instance
de
Fuel
processus
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
GasTank
entit�
est une
partie
de
objet
entit�
est une
instance
de
EngineCylinder
entit�
est une
partie
de
objet
processus
a pour
origine
entit�
processus
aboutit
�
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
Processus
est une
instance
de
GERefluxDisease
AutonomousAgent
exp
�rimente
processus
processus
objet
and
objet
processus
est une
instance
de
transf�re
processus
a pour
origine
objet
objet
est une
instance
de
Stomach
objet
est une
instance
de
Esophagus
processus
aboutit
�
objet
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT))
(
destination
?GET ?AGENT))
Merge.kif 11781-11785
Processus
est une
instance
de
obtenir
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
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
est une
instance
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
TelecomNumber
a pour
but
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
communication
TelecomNumber
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
est
d
�but de immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
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
Physique
est une
instance
de
HeartAttack
objet
est une
instance
de
Heart
physique
est
situ
� �
objet
objet
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
interval temporel
objet
interval temporel
est une
instance
de
LiquidMotion
objectTransferred
interval temporel
and
objet
objet
est une
instance
de
sang
interval temporel
prend place
pendant
temps
d'existence de
physique
interval temporel
aboutit
�
objet
(=>
(
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
Physique
est une
instance
de
Stroke
objet
est une
instance
de
Brain
physique
est
situ
� �
objet
objet
objet
est une
instance
de
NerveCell
objet
est une
partie
de
objet
interval temporel
objet
interval temporel
est une
instance
de
LiquidMotion
objectTransferred
interval temporel
and
objet
objet
est une
instance
de
sang
interval temporel
prend place
pendant
temps
d'existence de
physique
interval temporel
aboutit
�
objet
(=>
(
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
Processus
est une
instance
de
Immigrating
processus
est un
agent
de
AutonomousAgent
secteur g�opolitique
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
nation
processus
a pour
origine
secteur g�opolitique
processus
aboutit
�
secteur g�opolitique
secteur g�opolitique
est
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
processus
a pour
but
AutonomousAgent
vie
�
secteur g�opolitique
(=>
(
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
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
objet
H
objet
H est une
instance
de
Trachea
objet
H est une
partie
de
AutonomousAgent
transf�re
aboutit
�
objet
H
(=>
(
and
(
instance
?II
IntraosseousInfusion
)
(
patient
?II ?H))
(
exists
(?B)
(
and
(
instance
?B
BoneMarrow
)
(
destination
?II ?B)
(
part
?B ?H))))
Medicine.kif 1179-1187
Processus
est une
instance
de
IntraosseousInfusion
objet
est un
patient
de
processus
objet
objet
est une
instance
de
BoneMarrow
processus
aboutit
�
objet
objet
est une
partie
de
objet
(=>
(
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
Objet
est une
instance
de
InvasiveVentilator
processus
est une
instance
de
respirer
AutonomousAgent
exp
�rimente
processus
objet
est un
instrument
pour
processus
processus
processus
est une
instance
de
Intubation
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
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