origin
(=>
(
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
?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
?FILTER
AbsoluteFilter
)
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?GAS)
(
instance
?GAS
GasMixture
)
(
patient
?REMOVE ?PARTICLE)
(
attribute
?PARTICLE
Solid
)
(
instrument
?REMOVE ?FILTER))
(
not
(
part
?PARTICLE ?GAS)))
MilitaryDevices.kif 1379-1389
Objet
est une
instance
de
AbsoluteFilter
processus
est une
instance
de
supprimer
processus
a pour
origine
objet
objet
est une
instance
de
GasMixture
objet
est un
patient
de
processus
Solid
est un
attribut
de
objet
objet
est un
instrument
pour
processus
objet
est une
partie
de
objet
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
Processus
est une
instance
de
FlashingLight
processus
a pour
origine
objet
processus
interval temporel
and
processus
processus
est une
instance
de
lumi�re irradiante
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
lumi�re irradiante
temps
d'existence de
processus
rencontre
interval temporel
interval temporel
rencontre
temps
d'existence de
processus
interval temporel
interval temporel
est une
instance
de
lumi�re irradiante
interval temporel
a pour
origine
objet
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
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
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
Processus
est une
instance
de
Inheriting
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
poss
�de
entit�
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
a pour
origine
objet
objet
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
d�palcement
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
Processus
est une
instance
de
Translocation
processus
a pour
origine
objet
objet
processus
objet
est une
instance
de
r�gion
objet
est
objet
processus
est un
sous
-processus de
processus
processus
est
situ
� �
objet
(=>
(
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
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
Interval temporel
est une
instance
de
Pulling
interval temporel
a pour
origine
objet
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
AutonomousAgent
LOC
pendant
le
d
�but de
interval temporel
interval temporel
aboutit
�
entit�
entit�
entit�
and
entit�
la
distance
entre
AutonomousAgent
LOC et
entit�
est
entit�
entit�
(s) la
distance
entre
AutonomousAgent
LOC et
objet
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
immediatement
apr
�s le
d
�but de
interval temporel
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
Interval temporel
est une
instance
de
Pushing
interval temporel
a pour
origine
objet
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
AutonomousAgent
LOC
pendant
le
d
�but de
interval temporel
interval temporel
aboutit
�
entit�
entit�
entit�
and
entit�
la
distance
entre
AutonomousAgent
LOC et
entit�
est
entit�
entit�
(s) la
distance
entre
AutonomousAgent
LOC et
objet
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
immediatement
apr
�s le
d
�but de
interval temporel
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
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
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?PLACE)
(
patient
?REMOVE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?REMOVE))
(
located
?OBJ ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?REMOVE))
(
not
(
located
?OBJ ?PLACE)))))
Merge.kif 11384-11391
Processus
est une
instance
de
supprimer
processus
a pour
origine
objet
entit�
est un
patient
de
processus
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 1883-1900
Processus
est une
instance
de
Repayment
processus
_DESTINATION est une
instance
de
objet
processus
aboutit
�
processus
_DESTINATION
processus
_ORIGIN est une
instance
de
objet
processus
a pour
origine
processus
_ORIGIN
processus
processus
_ORIGIN and
processus
_DESTINATION
processus
est une
instance
de
Payment
processus
_ORIGIN est une
instance
de
objet
processus
_DESTINATION est une
instance
de
objet
processus
est
processus
processus
aboutit
�
processus
_DESTINATION
processus
a pour
origine
processus
_ORIGIN
processus
_ORIGIN est
processus
_DESTINATION
processus
_DESTINATION est
processus
_ORIGIN
(=>
(
and
(
instance
?S
SeizingProperty
)
(
destination
?S ?A)
(
origin
?S ?V)
(
instance
?V
CognitiveAgent
))
(
and
(
instance
?A
Government
)
(
not
(
confersNorm
?V
(
destination
?S ?A)
Permission
))))
Mid-level-ontology.kif 18701-18712
Processus
est une
instance
de
SeizingProperty
processus
aboutit
�
entit�
processus
a pour
origine
objet
objet
est une
instance
de
agent cognitif
entit�
est une
instance
de
gouvernement
confersNorm
objet
,
processus
n' %n
aboutit
%n{pas} �
entit�
and
Permission
(=>
(
and
(
instance
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18586-18594
Processus
est une
instance
de
Stealing
processus
aboutit
�
agent cognitif
processus
a pour
origine
objet
objet
est une
instance
de
agent cognitif
objet
n'
autorise
%n{pas}
agent cognitif
� ex�cut� des t�ches du type
processus
aboutit
�
agent cognitif
(=>
(
and
(
instance
?System
HardwareSystem
)
(
component
?Network ?System)
(
instance
?Event
DataTransfer
)
(
origin
?Event ?System))
(
and
(
instance
?Network
ComputerNetwork
)
(
instrument
?Event ?Network)))
QoSontology.kif 326-334
Objet corpusculaire
est une
instance
de
HardwareSystem
objet corpusculaire
est un
composant
de
objet corpusculaire
processus
est une
instance
de
DataTransfer
processus
a pour
origine
objet corpusculaire
objet corpusculaire
est une
instance
de
ComputerNetwork
objet corpusculaire
est un
instrument
pour
processus
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
Processus
est une
instance
de
Translocation
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
a pour
origine
objet
processus
aboutit
�
objet
processus
aboutit
�
entit�
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
commence
temps
d'existence de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 627-646
Processus
est une
instance
de
TropicalCyclonicSystem
processus
a pour
origine
objet
objet
est une
instance
de
NorthAtlanticOcean
objet
est une
instance
de
PacificOcean
objet
est une
instance
de
IndianOcean
objet
attribut directionnel
,
nombre r�el
and
Longitude
objet
est
situ
� �
objet
attribut directionnel
est une
instance
de
attribut directionnel
objectGeographicCoordinates
objet
,
LatitudeFn
attribut directionnel
and
nombre r�el
AngularDegree
(s) and
Longitude
attribut directionnel
est
North
attribut directionnel
est
South
nombre r�el
est
moins
que 5.0
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
origin
?MOVE ?FROM))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?FROM)))
Merge.kif 15984-15990
Objet
est une
instance
de
Vehicle
processus
est une
instance
de
Translocation
objet
est un
instrument
pour
processus
processus
a pour
origine
objet
objet
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
entit�
est une
instance
de
Currency
entit�
est un
patient
de
financial transaction
la
date
de
financial transaction
est
jour
nombre r�el
availableCash
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
la
date
de
financial transaction
est
jour
nombre r�el
availableBalance
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
equal
?Organization1 ?Organization2))
FinancialOntology.kif 4143-4150
Processus
est une
instance
de
ExternalTransfer
processus
a pour
origine
objet
objet
est une
instance
de
FinancialOrganization
processus
aboutit
�
entit�
entit�
est une
instance
de
FinancialOrganization
objet
est
entit�
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
not
(
equal
?Organization1 ?Organization2)))
FinancialOntology.kif 4129-4136
Processus
est une
instance
de
ExternalTransfer
processus
a pour
origine
objet
objet
est une
instance
de
FinancialOrganization
processus
aboutit
�
entit�
entit�
est une
instance
de
FinancialOrganization
objet
est
entit�
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