Liquid
(=>
(
instance
?E
Electrolyte
)
(
hasPurpose
?E
(
exists
(?ET)
(
and
(
instance
?ET
ElectricTransmission
)
(
patient
?ET ?E)
(
holdsDuring
?ET
(
attribute
?E
Liquid
))))))
Cars.kif 2502-2510
Physique
est une
instance
de
Electrolyte
physique
a pour
but
physique
T
physique
T est une
instance
de
ElectricTransmission
physique
est un
patient
de
physique
T
Liquid
est un
attribut
de
physique
pendant
physique
T
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
Physique
est une
instance
de
HydraulicFluid
physique
a pour
but
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
Liquid
est un
attribut
de
physique
pendant
temps
d'existence de
entit�
(=>
(
instance
?H
Hydrometer
)
(
hasPurpose
?H
(
exists
(?M ?S)
(
and
(
instance
?M
Measuring
)
(
instance
?S
Substance
)
(
attribute
?S
Liquid
)
(
patient
?M ?S)
(
instrument
?M ?H)))))
Cars.kif 3051-3060
Physique
est une
instance
de
Hydrometer
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
mesurer
entit�
est une
instance
de
substance
Liquid
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?INJECT
Injecting
)
(
exists
(?SUBSTANCE ?ANIMAL)
(
and
(
patient
?INJECT ?SUBSTANCE)
(
instance
?SUBSTANCE
BiologicallyActiveSubstance
)
(
attribute
?SUBSTANCE
Liquid
)
(
destination
?INJECT ?ANIMAL)
(
instance
?ANIMAL
Animal
))))
Merge.kif 11438-11446
Processus
est une
instance
de
Injecting
objet
entit�
objet
est un
patient
de
processus
objet
est une
instance
de
substance biologique active
Liquid
est un
attribut
de
objet
processus
aboutit
�
entit�
entit�
est une
instance
de
animal
(=>
(
instance
?LD
LiquidDrop
)
(
attribute
?LD
Liquid
))
Geography.kif 7493-7495
Objet
est une
instance
de
LiquidDrop
Liquid
est un
attribut
de
objet
(=>
(
instance
?MIX
LiquidMixture
)
(
exists
(?PART)
(
and
(
part
?PART ?MIX)
(
attribute
?PART
Liquid
))))
Merge.kif 14716-14721
Objet
est une
instance
de
LiquidMixture
objet
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
(=>
(
instance
?OBJ
Solution
)
(
attribute
?OBJ
Liquid
))
Merge.kif 17560-17562
Objet
est une
instance
de
solution
Liquid
est un
attribut
de
objet
(=>
(
instance
?POUR
Pouring
)
(
exists
(?LIQUID ?CONTAINER1 ?CONTAINER2)
(
and
(
origin
?POUR ?CONTAINER1)
(
destination
?POUR ?CONTAINER2)
(
instance
?CONTAINER1
Container
)
(
instance
?CONTAINER2
Container
)
(
not
(
equal
?CONTAINER1 ?CONTAINER2))
(
patient
?POUR ?LIQUID)
(
attribute
?LIQUID
Liquid
)
(
instance
?LIQUID
Substance
))))
Mid-level-ontology.kif 17538-17549
Processus
est une
instance
de
Pouring
objet
objet
and
entit�
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est une
instance
de
Container
entit�
est une
instance
de
Container
objet
est
entit�
objet
est un
patient
de
processus
Liquid
est un
attribut
de
objet
objet
est une
instance
de
substance
(=>
(
instance
?PROCESS
FreezingRain
)
(
precipitationState
?PROCESS
Liquid
))
Weather.kif 1087-1089
WeatherProcess
est une
instance
de
FreezingRain
precipitationState
WeatherProcess
and
Liquid
(=>
(
instance
?PROCESS
Raining
)
(
precipitationState
?PROCESS
Liquid
))
Weather.kif 1053-1055
WeatherProcess
est une
instance
de
Raining
precipitationState
WeatherProcess
and
Liquid
(=>
(
instance
?S
Sauce
)
(
exists
(?X)
(
and
(
instance
?X
Substance
)
(
part
?X ?S)
(
attribute
?X
Liquid
))))
Food.kif 2068-2074
Objet
est une
instance
de
Sauce
objet
objet
est une
instance
de
substance
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
(=>
(
instance
?S
Spraying
)
(
exists
(?G ?L ?M)
(
and
(
attribute
?G
Gas
)
(
attribute
?L
Liquid
)
(
instance
?M
GasMixture
)
(
part
?M ?G)
(
part
?M ?L)
(
patient
?S ?G)
(
patient
?S ?L)
(
result
?S ?M))))
Cars.kif 1092-1103
Processus
est une
instance
de
Spraying
objet
objet
and
objet
Gas
est un
attribut
de
objet
Liquid
est un
attribut
de
objet
objet
est une
instance
de
GasMixture
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est un
patient
de
processus
objet
est un
patient
de
processus
objet
est le
resultat
de
processus
(=>
(
instance
?S
Strainer
)
(
hasPurpose
?S
(
exists
(?MIX ?SUB ?LIQUID ?REMOVE)
(
and
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
instance
?LIQUID
Substance
)
(
part
?SUB ?MIX)
(
attribute
?SUB
Solid
)
(
instance
?REMOVE
Removing
)
(
part
?LIQUID ?MIX)
(
attribute
?LIQUID
Liquid
)
(
patient
?REMOVE ?SUB)
(
result
?REMOVE ?LIQUID)
(
instrument
?REMOVE ?S)))))
Mid-level-ontology.kif 4549-4564
Physique
est une
instance
de
Strainer
physique
a pour
but
entit�
physique
UB,
entit�
and
entit�
entit�
est une
instance
de
mixture
physique
UB est une
instance
de
substance
entit�
est une
instance
de
substance
physique
UB est une
partie
de
entit�
Solid
est un
attribut
de
physique
UB
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
entit�
Liquid
est un
attribut
de
entit�
physique
UB est un
patient
de
entit�
entit�
est le
resultat
de
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
V�hicule de transport
est une
instance
de
LiquefiedGasTankerShip
cargoType
v�hicule de transport
and la
classe
correspondant �
Liquid
(=>
(
instance
?SUBSTANCE
LiquidBodySubstance
)
(
attribute
?SUBSTANCE
Liquid
))
Mid-level-ontology.kif 10853-10855
Objet
est une
instance
de
LiquidBodySubstance
Liquid
est un
attribut
de
objet
(=>
(
instance
?T
TankCar
)
(
exists
(?TRANS)
(
capability
(
KappaFn
?TRANS
(
exists
(?L ?T)
(
and
(
instance
?L
Liquid
)
(
instance
?TRANS
Transportation
)
(
patient
?TRANS ?L))))
instrument
?T)))
Transportation.kif 2236-2246
Objet
est une
instance
de
TankCar
objet
RANS
objet
est
capable
de faire la
classe
d�crite par
objet
RANS dans le r�le
instrument
(=>
(
instance
?WET
Wetting
)
(
exists
(?OBJ)
(
and
(
attribute
?OBJ
Liquid
)
(
patient
?WET ?OBJ))))
Merge.kif 12766-12771
Processus
est une
instance
de
mouiller
objet
Liquid
est un
attribut
de
objet
objet
est un
patient
de
processus
(=>
(
instance
?X
CocoaLiquor
)
(
exists
(?H ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
instance
?B
CocoaBean
)
(
attribute
?B
DryRoastAttribute
)
(
attribute
?B
HulledAttribute
)
(
attribute
?B
FermentedAttribute
)
(
result
?H ?X)
(
holdsDuring
?H
(
attribute
?X
Liquid
)))))
Food.kif 2449-2461
Entit�
est une
instance
de
CocoaLiquor
processus
objet
processus
est une
instance
de
r�chauffer
objet
est un
patient
de
processus
objet
est une
instance
de
CocoaBean
DryRoastAttribute
est un
attribut
de
objet
HulledAttribute
est un
attribut
de
objet
FermentedAttribute
est un
attribut
de
objet
entit�
est le
resultat
de
processus
Liquid
est un
attribut
de
entit�
pendant
processus
(=>
(
instance
?X
Emulsion
)
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Substance
)
(
instance
?L2
Substance
)
(
attribute
?L1
Liquid
)
(
attribute
?L2
Liquid
)
(
not
(
equal
?L1 ?L2)))))
Mid-level-ontology.kif 21575-21584
Entit�
est une
instance
de
Emulsion
objet
objet
objet
est une
instance
de
substance
objet
est une
instance
de
substance
Liquid
est un
attribut
de
objet
Liquid
est un
attribut
de
objet
objet
est
objet
(=>
(
instance
?X
Urine
)
(
attribute
?X
Liquid
))
Mid-level-ontology.kif 2099-2101
Objet
est une
instance
de
Urine
Liquid
est un
attribut
de
objet
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
Objet
est
Downstream
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
Objet
est
Downwind
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
Objet
est
Upstream
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
Objet
est
Upwind
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
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