objectTransferred
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
Entit�
est une
instance
de
Invoice
cha�ne sympbolique
agent cognitif
,
AutonomousAgent
,
entit�
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
AutonomousAgent
and
entit�
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
vendre
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
(=>
(
instance
?LP
Lubricating
)
(
exists
(?L)
(
and
(
instance
?L
Lubricant
)
(
objectTransferred
?LP ?L))))
Cars.kif 2999-3004
Transf�re
est une
instance
de
Lubricating
objet
objet
est une
instance
de
Lubricant
objectTransferred
transf�re
and
objet
(=>
(
instance
?N
Needle
)
(
hasPurpose
?N
(
exists
(?H ?TP ?F ?RI)
(
and
(
instance
?H
Animal
)
(
instance
?TP
TherapeuticProcss
)
(
attribute
?F
Fluid
)
(
patient
?TP ?H)
(
instrument
?TP ?N)
(
or
(
instance
?RI
Removing
)
(
instance
?RI
Inserting
))
(
subProcess
?RI ?TP)
(
objectTransferred
?RI ?F)))))
Medicine.kif 924-938
Physique
est une
instance
de
Needle
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
TherapeuticProcss
Fluid
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
physique
est un
instrument
pour
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
Inserting
entit�
est un
sous
-processus de
entit�
objectTransferred
entit�
and
entit�
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O ?P)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
instance
?P
Putting
)
(
subProcess
?P ?OT)
(
objectTransferred
?P ?O)
(
destination
?P ?H))))
Medicine.kif 4642-4651
Processus
est une
instance
de
OrganTransplant
entit�
objet
and
transf�re
entit�
est une
instance
de
animal
objet
est une
instance
de
organe
transf�re
est une
instance
de
mettre
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
transf�re
aboutit
�
entit�
(=>
(
instance
?P
Pedialyte
)
(
hasPurpose
?P
(
exists
(?C ?D ?V ?DR)
(
and
(
instance
?C
HumanChild
)
(
instance
?D
Diarrhea
)
(
instance
?V
Vomiting
)
(
or
(
and
(
experiencer
?D ?C)
(
earlier
(
WhenFn
?D)
(
WhenFn
?DR)))
(
and
(
experiencer
?V ?C)
(
earlier
(
WhenFn
?V)
(
WhenFn
?DR))))
(
instance
?DR
Drinking
)
(
agent
?DR ?C)
(
objectTransferred
?DR ?P)))))
Medicine.kif 4816-4833
Physique
est une
instance
de
Pedialyte
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
R
entit�
est une
instance
de
HumanChild
entit�
est une
instance
de
Diarrhea
entit�
est une
instance
de
Vomiting
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
entit�
R
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
entit�
R
entit�
R est une
instance
de
boire
entit�
R est un
agent
de
entit�
objectTransferred
entit�
R and
physique
(=>
(
instance
?P
Pill
)
(
hasPurpose
?P
(
exists
(?A ?I)
(
and
(
instance
?A
Animal
)
(
instance
?I
Ingesting
)
(
experiencer
?I ?A)
(
objectTransferred
?I ?P)))))
Mid-level-ontology.kif 9255-9263
Physique
est une
instance
de
Pill
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
ing�rer
entit�
exp
�rimente
entit�
objectTransferred
entit�
and
physique
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3818-3834
Physique
est une
instance
de
PositiveCrankcaseVentilationValve
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Crankcase
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
CombustionChamber
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Automobile
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
physique
est une
partie
de
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
objectTransferred
entit�
and
entit�
physique
est le
chemin
le long duquel
entit�
se produit
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
Entit�
est une
instance
de
PurchaseOrder
cha�ne sympbolique
agent cognitif
,
agent cognitif
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
agent cognitif
and
entit�
agent cognitif
oblige
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
acheter
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
est un
patient
de
entit�
(=>
(
instance
?PROC
Defecation
)
(
exists
(?FECES)
(
and
(
instance
?FECES
Feces
)
(
objectTransferred
?PROC ?FECES))))
Mid-level-ontology.kif 2146-2151
Transf�re
est une
instance
de
Defecation
objet
objet
est une
instance
de
Feces
objectTransferred
transf�re
and
objet
(=>
(
instance
?PROC
Urination
)
(
exists
(?URINE)
(
and
(
instance
?URINE
Urine
)
(
objectTransferred
?PROC ?URINE))))
Mid-level-ontology.kif 2134-2139
Transf�re
est une
instance
de
Urination
objet
objet
est une
instance
de
Urine
objectTransferred
transf�re
and
objet
(=>
(
instance
?PROCESS
Raining
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
objectTransferred
?PROCESS ?RAIN))))
Weather.kif 2965-2970
Transf�re
est une
instance
de
Raining
objet
objet
est une
instance
de
Rain
objectTransferred
transf�re
and
objet
(=>
(
instance
?PROCESS
Sleeting
)
(
exists
(?STUFF ?R ?S ?MELT)
(
and
(
instance
?STUFF
Collection
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?R
Raindrop
)
(
instance
?S
Snowflake
)
(
member
?R ?STUFF)
(
member
?S ?STUFF)
(
instance
?MELT
Melting
)
(
subProcess
?MELT ?PROCESS)
(
patient
?MELT ?S))))
Weather.kif 1158-1170
Transf�re
est une
instance
de
Sleeting
collection
physique
,
physique
and
processus
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
Raindrop
physique
est une
instance
de
Snowflake
physique
est un
membre
de
collection
physique
est un
membre
de
collection
processus
est une
instance
de
mettre en fusion
processus
est un
sous
-processus de
transf�re
physique
est un
patient
de
processus
(=>
(
instance
?PROCESS
Snowing
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
objectTransferred
?PROCESS ?SNOW))))
Weather.kif 2997-3002
Transf�re
est une
instance
de
Snowing
objet
objet
est une
instance
de
Snow
objectTransferred
transf�re
and
objet
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1057-1070
Entit�
est une
instance
de
Raining
entit�
entit�
and
classe
entit�
est une
instance
de
collection
entit�
est une
instance
de
eau
entit�
est une
instance
de
LiquidDrop
entit�
est une
instance
de
classe
(=>
(
instance
?ROOT
PlantRoot
)
(
hasPurpose
?ROOT
(
exists
(?TRAN ?STUFF ?HOST)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?ROOT)
(
origin
?TRAN ?HOST)
(
orientation
?HOST ?ROOT
Outside
)
(
objectTransferred
?TRAN ?STUFF)
(
or
(
instance
?STUFF
FreshWater
)
(
instance
?STUFF
Nutrient
))))))
Mid-level-ontology.kif 9507-9519
Physique
est une
instance
de
PlantRoot
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
transf�re
physique
est un
instrument
pour
entit�
entit�
a pour
origine
entit�
entit�
est
Outside
�
physique
objectTransferred
entit�
and
entit�
entit�
est une
instance
de
FreshWater
entit�
est une
instance
de
nutriment
(=>
(
instance
?S
MilitarySurplus
)
(
exists
(?A ?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?A)
(
objectTransferred
?B ?S)
(
not
(
instance
?A
MilitaryOrganization
))
(
not
(
member
?A
MilitaryOrganization
)))))
Mid-level-ontology.kif 8406-8416
Objet
est une
instance
de
MilitarySurplus
physique
transf�re
transf�re
est une
instance
de
acheter
physique
est un
patient
de
transf�re
objectTransferred
transf�re
and
objet
physique
est une
instance
de
MilitaryOrganization
physique
est un
membre
de
MilitaryOrganization
(=>
(
instance
?S
Supercharger
)
(
hasPurpose
?S
(
exists
(?T ?IV ?A)
(
and
(
instance
?T
GasMotion
)
(
origin
?T ?S)
(
instance
?IV
IntakeValve
)
(
destination
?T ?IV)
(
instance
?A
Air
)
(
objectTransferred
?T ?A)
(
holdsDuring
(
WhenFn
?T)
(
attribute
?A
Pressurized
))))))
Cars.kif 5192-5204
Physique
est une
instance
de
Supercharger
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
GasMotion
entit�
a pour
origine
physique
entit�
est une
instance
de
IntakeValve
entit�
aboutit
�
entit�
entit�
est une
instance
de
Air
objectTransferred
entit�
and
entit�
Pressurized
est un
attribut
de
entit�
pendant
temps
d'existence de
entit�
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
Processus
est une
instance
de
ShrapnelExplosion
objet
transf�re
objet
est une
instance
de
m�tal
transf�re
est une
instance
de
Translocation
processus
cause
transf�re
objectTransferred
transf�re
and
objet
(=>
(
instance
?SNOW
Snowing
)
(
exists
(?CLTN ?I)
(
and
(
instance
?CLTN
Collection
)
(
instance
?I
Ice
)
(
attribute
?I
MonoCrystalline
)
(
member
?I ?CLTN)
(
objectTransferred
?SNOW ?CLTN))))
Weather.kif 1141-1149
Transf�re
est une
instance
de
Snowing
collection
objet
collection
est une
instance
de
collection
objet
est une
instance
de
Ice
MonoCrystalline
est un
attribut
de
objet
objet
est un
membre
de
collection
objectTransferred
transf�re
and
collection
(=>
(
instance
?SS
SandStorm
)
(
exists
(?SAND)
(
and
(
instance
?SAND
Sand
)
(
objectTransferred
?SS ?SAND))))
Weather.kif 1303-1308
Transf�re
est une
instance
de
SandStorm
objet
objet
est une
instance
de
Sand
objectTransferred
transf�re
and
objet
(=>
(
instance
?STEM
PlantStem
)
(
hasPurpose
?STEM
(
exists
(?TRAN ?ROOT ?SUB)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?STEM)
(
instance
?ROOT
PlantRoot
)
(
origin
?TRAN ?ROOT)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Fluid
)
(
objectTransferred
?TRAN ?SUB)))))
Mid-level-ontology.kif 9546-9557
Physique
est une
instance
de
PlantStem
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
transf�re
physique
est un
instrument
pour
entit�
entit�
est une
instance
de
PlantRoot
entit�
a pour
origine
entit�
entit�
est une
instance
de
substance
Fluid
est un
attribut
de
entit�
objectTransferred
entit�
and
entit�
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
Physique
est une
instance
de
Hailstone
transf�re
collection
transf�re
est une
instance
de
Hailing
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est un
membre
de
collection
(=>
(
instance
?T
TearSubstance
)
(
hasPurpose
?T
(
exists
(?L ?EYE)
(
and
(
instance
?L
Lubricating
)
(
objectTransferred
?L ?T)
(
instance
?EYE
Eye
)
(
destination
?L ?EYE)))))
Mid-level-ontology.kif 12375-12383
Physique
est une
instance
de
TearSubstance
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Lubricating
objectTransferred
entit�
and
physique
entit�
est une
instance
de
Eye
entit�
aboutit
�
entit�
(=>
(
instance
?T
Transfusion
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
objectTransferred
?T ?B))))
Medicine.kif 5990-5995
Transf�re
est une
instance
de
Transfusion
objet
objet
est une
instance
de
sang
objectTransferred
transf�re
and
objet
(=>
(
instance
?TA
TopicalApplication
)
(
exists
(?M ?A ?S)
(
and
(
instance
?M
Medicine
)
(
instance
?A
Animal
)
(
instance
?S
Skin
)
(
part
?S ?A)
(
objectTransferred
?TA ?M)
(
destination
?M ?S))))
Mid-level-ontology.kif 12448-12457
Transf�re
est une
instance
de
TopicalApplication
objet
objet
and
objet
objet
est une
instance
de
Medicine
objet
est une
instance
de
animal
objet
est une
instance
de
Skin
objet
est une
partie
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
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