objectTransferred
(=>
(
instance
?TA
TranexamicAcid
)
(
hasPurpose
?TA
(
exists
(?P)
(
and
(
instance
?P
Human
)
(
decreasesLikelihood
(
exists
(?I)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?TA)
(
destination
?I ?P)))
(
exists
(?P ?B)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
origin
?B ?P))))))))
Medicine.kif 1050-1066
Physique
est une
instance
de
TranexamicAcid
physique
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
entit�
est une
instance
de
ing�rer
objectTransferred
entit�
and
physique
entit�
aboutit
�
entit�
diminue
la probabilit� de
entit�
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
Bleeding
entit�
a pour
origine
entit�
(=>
(
instance
?TC
TireChanger
)
(
hasPurpose
?TC
(
exists
(?P ?T ?R)
(
and
(
instance
?P
Putting
)
(
instance
?T
Tire
)
(
instance
?R
WheelRim
)
(
destination
?P ?R)
(
objectTransferred
?P ?T)
(
instrument
?P ?TC)))))
Cars.kif 4875-4885
Physique
est une
instance
de
TireChanger
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
mettre
entit�
est une
instance
de
Tire
entit�
est une
instance
de
WheelRim
entit�
aboutit
�
entit�
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?TC
TireChanger
)
(
hasPurpose
?TC
(
exists
(?RE ?T ?R)
(
and
(
instance
?RE
Removing
)
(
instance
?T
Tire
)
(
instance
?R
WheelRim
)
(
origin
?RE ?R)
(
objectTransferred
?RE ?T)
(
instrument
?RE ?TC)))))
Cars.kif 4887-4897
Physique
est une
instance
de
TireChanger
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
Tire
entit�
est une
instance
de
WheelRim
entit�
a pour
origine
entit�
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?TF
TwoFactorLoggingIn
)
(
exists
(?DE ?DD)
(
and
(
subProcess
?DE ?TF)
(
instance
?DE
DataEntry
)
(
instance
?DD
DigitalData
)
(
objectTransferred
?DE ?DD)
(
not
(
instance
?DD
ComputerPassword
))
(
not
(
instance
?DD
UserName
)))))
ComputingBrands.kif 4299-4310
Processus
est une
instance
de
TwoFactorLoggingIn
transf�re
objet
transf�re
est un
sous
-processus de
processus
transf�re
est une
instance
de
DataEntry
objet
est une
instance
de
DigitalData
objectTransferred
transf�re
and
objet
objet
est une
instance
de
ComputerPassword
objet
est une
instance
de
UserName
(=>
(
instance
?VM
VendingMachine
)
(
hasPurpose
?VM
(
exists
(?H ?O ?V)
(
and
(
instance
?V
Vending
)
(
instance
?H
Human
)
(
instance
?O
Object
)
(
objectTransferred
?V ?O)
(
instrument
?V ?VM)
(
origin
?V ?VM)
(
not
(
instance
?O
Currency
))
(
destination
?V ?H)))))
Mid-level-ontology.kif 1959-1972
Physique
est une
instance
de
VendingMachine
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Vending
entit�
est une
instance
de
humain
entit�
est une
instance
de
objet
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
entit�
a pour
origine
physique
entit�
est une
instance
de
Currency
entit�
aboutit
�
entit�
(=>
(
instance
?WP
WaterPump
)
(
hasPurpose
?WP
(
exists
(?T ?W)
(
and
(
instance
?T
Transfer
)
(
instance
?W
FreshWater
)
(
objectTransferred
?T ?W)
(
instrument
?T ?WP)))))
Cars.kif 2769-2777
Physique
est une
instance
de
WaterPump
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
FreshWater
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?X
Bidet
)
(
hasPurpose
?X
(
exists
(?PROC ?WASH ?PART)
(
and
(
or
(
instance
?PROC
Defecation
)
(
instance
?PROC
Urination
))
(
instrument
?PROC ?PART)
(
instance
?WASH
Washing
)
(
objectTransferred
?WASH ?PART)
(
instrument
?WASH ?X)
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?WASH)))))))
Mid-level-ontology.kif 2182-2196
Physique
est une
instance
de
Bidet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Defecation
entit�
est une
instance
de
Urination
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
Washing
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2830-2855
rainfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
collection
,
physique
,
objet en une partie
,
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
est une
instance
de
Raining
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
eau
physique
est un
membre
de
collection
objet en une partie
est une
instance
de
Container
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
ContainerEmpty
est un
attribut
de
objet en une partie
pendant
le
d
�but de
interval temporel
collection
est
situ
� �
objet en une partie
le
dessus
de
collection
est
entit�
depth
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
FALL est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3035-3062
snowfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
objet
,
objet en une partie
,
entit�
,
objet en une partie
and
entit�
transf�re
est une
instance
de
Snowing
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objet
est une
instance
de
Snow
objectTransferred
transf�re
and
objet
objet en une partie
est une
instance
de
BoardOrBlock
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
entit�
entit�
est une
instance
de
objet
entit�
est
situ
� �
objet en une partie
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
objet en une partie
le
dessus
de
objet
est
entit�
depth
entit�
,
objet en une partie
and
entit�
entit�
est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
voltageRatingPrimary
?O ?Q)
(
exists
(?P ?EC ?P ?E)
(
and
(
part
?P ?O)
(
instance
?EC
ElectricTransmission
)
(
destination
?EC ?P)
(
objectTransferred
?EC ?E)
(
instance
?E
Electricity
)
(
measure
?E ?Q))))
Mid-level-ontology.kif 31254-31263
voltageRatingPrimary
ElectricalTransformer
and
function de quantit�
objet
transf�re
,
objet
and
objet
objet
est une
partie
de
ElectricalTransformer
transf�re
est une
instance
de
ElectricTransmission
transf�re
aboutit
�
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Electricity
la
mesure
de
objet
est
function de quantit�
(=>
(
voltageRatingSecondary
?O ?Q)
(
exists
(?S ?EC ?E)
(
and
(
part
?S ?O)
(
instance
?EC
ElectricTransmission
)
(
origin
?EC ?S)
(
objectTransferred
?EC ?E)
(
instance
?E
Electricity
)
(
measure
?E ?Q))))
Mid-level-ontology.kif 31296-31305
voltageRatingSecondary
ElectricalTransformer
and
function de quantit�
objet
transf�re
and
objet
objet
est une
partie
de
ElectricalTransformer
transf�re
est une
instance
de
ElectricTransmission
transf�re
a pour
origine
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Electricity
la
mesure
de
objet
est
function de quantit�
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