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
Financial transaction
est une
instance
de
Deposit
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
apr
�s
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?E
Entombing
)
(
destination
?E ?T))
(
instance
?T
Tomb
))
Mid-level-ontology.kif 18049-18053
Processus
est une
instance
de
Entombing
processus
aboutit
�
entit�
entit�
est une
instance
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
Objet corpusculaire
est une
instance
de
Exhaust
Fuel
est
fait
de
objet corpusculaire
transf�re
est une
instance
de
transf�re
objet corpusculaire
NG est une
instance
de
Engine
transf�re
a pour
origine
objet corpusculaire
NG
physique
est une
instance
de
CatalyticConverter
transf�re
aboutit
�
physique
objectTransferred
transf�re
and
objet corpusculaire
physique
a pour
but
entit�
entit�
est une
instance
de
combustion
physique
est un
instrument
pour
entit�
objet corpusculaire
est un
patient
de
entit�
eventLocated
entit�
and
physique
(=>
(
and
(
instance
?E
RadioEmission
)
(
destination
?E ?D))
(
instance
?D
ReceiverDevice
))
Mid-level-ontology.kif 1807-1811
Processus
est une
instance
de
RadioEmission
processus
aboutit
�
entit�
entit�
est une
instance
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
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
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
processus
aboutit
�
entit�
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
processus
a pour
origine
objet
entit�
est une
instance
de
secteur g�opolitique
processus
aboutit
�
entit�
objet
est
entit�
(=>
(
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
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
processus
a pour
origine
objet
physique
est une
instance
de
secteur g�opolitique
processus
aboutit
�
physique
physique
est
situ
� �
objet
(=>
(
and
(
instance
?F
Feeding
)
(
destination
?F ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 11582-11586
Processus
est une
instance
de
Feeding
processus
aboutit
�
entit�
entit�
est une
instance
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
Processus
est une
instance
de
Scholarship
processus
aboutit
�
entit�
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
EducationalProgram
entit�
exprime
le contenu de
entit�
entit�
exp
�rimente
entit�
(=>
(
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
Plan d'eau
est une
instance
de
Waterfall
WaterMotion
est une
instance
de
WaterMotion
flowCurrent
WaterMotion
and
plan d'eau
WaterMotion
a pour
origine
objet
WaterMotion
aboutit
�
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet
est
Above
�
objet
(=>
(
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
Objet
est une
instance
de
FuelPump
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
d�palcement
est une
instance
de
transporter
processus
est une
instance
de
Fuel
processus
est un
patient
de
d�palcement
objet
est un
instrument
pour
processus
objet
est une
instance
de
GasTank
objet
est une
partie
de
objet
objet
est une
instance
de
EngineCylinder
objet
est une
partie
de
objet
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
but
processus
F
processus
F est une
instance
de
FuelFilter
betweenOnPath
objet
,
processus
F,
objet
and
objet
(=>
(
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
Processus
est une
instance
de
donner
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
obtenir
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
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
Transf�re
est une
instance
de
ing�rer
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Hallucinogen
transf�re
aboutit
�
entit�
l'argument
objet
AL
objet
AL est une
instance
de
Hallucination
entit�
exp
�rimente
objet
AL a la
force
modale
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
Transf�re
est une
instance
de
Injecting
objet
est une
instance
de
Adalimumab
objectTransferred
transf�re
and
objet
transf�re
est
situ
� �
objet
objet
est une
instance
de
partie du corps
transf�re
aboutit
�
entit�
l'argument
entit�
PainFn
objet
est un
attribut
de
entit�
pendant
entit�
entit�
prend place
pendant
apr
�s
temps
d'existence de
transf�re
a la
force
modale
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
est une
instance
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
aboutit
�
entit�
ComputerProcess
a pour
but
DigitalData
ROC
computerRunning
DigitalData
ROC and
entit�
(=>
(
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
Processus
est une
instance
de
Inserting
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
ne
contient
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
contient
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
Lever
processus
est une
instance
de
Pushing
physique
est une
instance
de
d�palcement
unit� de mesure
est une
instance
de
UnitOfLength
processus
aboutit
�
objet
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
est
situ
� �
processus
1
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
2
pendant
immediatement
apr
�s
temps
d'existence de
physique
objet
est
situ
� �
processus
3
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
4
pendant
immediatement
apr
�s
temps
d'existence de
physique
la
distance
entre
processus
1 et
processus
2 est
nombre r�el
unit� de mesure
(s) la
distance
entre
processus
3 et
processus
4 est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?L
LoadingWeapon
)
(
destination
?L ?W))
(
instance
?W
ProjectileLauncher
))
Mid-level-ontology.kif 1378-1382
Processus
est une
instance
de
LoadingWeapon
processus
aboutit
�
entit�
entit�
est une
instance
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
Processus
est une
instance
de
pr�ter
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
emprunter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
aboutit
�
entit�
objet
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
d�palcement
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
Processus
est une
instance
de
MovingAwayFromPeople
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est
entit�
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
Processus
est une
instance
de
MovingTowardsPeople
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est
entit�
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processus
est une
instance
de
BankCardPayment
processus
aboutit
�
objet
objet
est
capable
de faire
BankCardPayment
dans le r�le
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
Processus
est une
instance
de
FoodPickup
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
objet
processus
and
processus
AutonomousAgent
est
situ
� �
objet
processus
est une
instance
de
Translocation
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
processus
est une
instance
de
obtenir
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
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