Liquid
(liquid)
(=>
(
instance
?E
Electrolyte
)
(
hasPurpose
?E
(
exists
(?ET)
(
and
(
instance
?ET
ElectricTransmission
)
(
patient
?ET ?E)
(
holdsDuring
?ET
(
attribute
?E
Liquid
))))))
Cars.kif 2502-2510
If
a physical
is an
instance
of
electrolyte
,
then
the physical
has the purpose there exists
the physical
T such that
the physical
T is an
instance
of
electric transmission
and
the physical
is a
patient
of
the physical
T and
liquid
is an
attribute
of
the physical
holds
during
the physical
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
If
a physical
is an
instance
of
hydraulic fluid
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
process
and
the physical
is an
instrument
for
the entity
and
liquid
is an
attribute
of
the physical
holds
during
the
time
of existence of
the entity
(=>
(
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
If
a physical
is an
instance
of
hydrometer
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
measuring
and
the other entity
is an
instance
of
substance
and
liquid
is an
attribute
of
the other entity
and
the other entity
is a
patient
of
the entity
and
the physical
is an
instrument
for
the entity
(=>
(
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
If
a process
is an
instance
of
injecting
,
then there exist
an object
and
an entity
such that
the object
is a
patient
of
the process
and
the object
is an
instance
of
biologically active substance
and
liquid
is an
attribute
of
the object
and
the process
end
s up at
the entity
and
the entity
is an
instance
of
animal
(=>
(
instance
?LD
LiquidDrop
)
(
attribute
?LD
Liquid
))
Geography.kif 7493-7495
If
an object
is an
instance
of
liquid drop
,
then
liquid
is an
attribute
of
the object
(=>
(
instance
?MIX
LiquidMixture
)
(
exists
(?PART)
(
and
(
part
?PART ?MIX)
(
attribute
?PART
Liquid
))))
Merge.kif 14716-14721
If
an object
is an
instance
of
liquid mixture
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
liquid
is an
attribute
of
the other object
(=>
(
instance
?OBJ
Solution
)
(
attribute
?OBJ
Liquid
))
Merge.kif 17560-17562
If
an object
is an
instance
of
solution
,
then
liquid
is an
attribute
of
the object
(=>
(
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
If
a process
is an
instance
of
pouring
,
then there exist
an object
,
another object
and
an entity
such that
the process
originate
s at
the other object
and
the process
end
s up at
the entity
and
the other object
is an
instance
of
container
and
the entity
is an
instance
of
container
and
the other object
is not
equal
to
the entity
and
the object
is a
patient
of
the process
and
liquid
is an
attribute
of
the object
and
the object
is an
instance
of
substance
(=>
(
instance
?PROCESS
FreezingRain
)
(
precipitationState
?PROCESS
Liquid
))
Weather.kif 1087-1089
If
a weather process
is an
instance
of
freezing rain
,
then
liquid
is a
precipitation
state of
the weather process
(=>
(
instance
?PROCESS
Raining
)
(
precipitationState
?PROCESS
Liquid
))
Weather.kif 1053-1055
If
a weather process
is an
instance
of
raining
,
then
liquid
is a
precipitation
state of
the weather process
(=>
(
instance
?S
Sauce
)
(
exists
(?X)
(
and
(
instance
?X
Substance
)
(
part
?X ?S)
(
attribute
?X
Liquid
))))
Food.kif 2068-2074
If
an object
is an
instance
of
sauce
,
then there exists
another object
such that
the other object
is an
instance
of
substance
and
the other object
is a
part
of
the object
and
liquid
is an
attribute
of
the other object
(=>
(
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
If
a process
is an
instance
of
spraying
,
then there exist
an object
,
another object
and
a third object
such that
gas
is an
attribute
of
the object
and
liquid
is an
attribute
of
the other object
and
the third object
is an
instance
of
gas mixture
and
the third object
is a
part
of
the object
and
the third object
is a
part
of
the other object
and
the object
is a
patient
of
the process
and
the other object
is a
patient
of
the process
and
the third object
is a
result
of
the process
(=>
(
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
If
a physical
is an
instance
of
strainer
,
then
the physical
has the purpose there exist
an entity
,
the physical
UB,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
mixture
and
the physical
UB is an
instance
of
substance
and
the third entity
is an
instance
of
substance
and
the physical
UB is a
part
of
the entity
and
solid
is an
attribute
of
the physical
UB and
the fourth entity
is an
instance
of
removing
and
the third entity
is a
part
of
the entity
and
liquid
is an
attribute
of
the third entity
and
the physical
UB is a
patient
of
the fourth entity
and
the third entity
is a
result
of
the fourth entity
and
the physical
is an
instrument
for
the fourth entity
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
If
a transportation device
is an
instance
of
liquefied gas tanker ship
,
then the
class
corresponding to
liquid
is a
cargo
type of
the transportation device
(=>
(
instance
?SUBSTANCE
LiquidBodySubstance
)
(
attribute
?SUBSTANCE
Liquid
))
Mid-level-ontology.kif 10853-10855
If
an object
is an
instance
of
liquid body substance
,
then
liquid
is an
attribute
of
the object
(=>
(
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
If
an object
is an
instance
of
tank car
,
then there exists
the object
RANS such that
the object
is
capable
of doing the
class
described by
the object
RANS as a
instrument
(=>
(
instance
?WET
Wetting
)
(
exists
(?OBJ)
(
and
(
attribute
?OBJ
Liquid
)
(
patient
?WET ?OBJ))))
Merge.kif 12766-12771
If
a process
is an
instance
of
wetting
,
then there exists
an object
such that
liquid
is an
attribute
of
the object
and
the object
is a
patient
of
the process
(=>
(
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
If
an entity
is an
instance
of
cocoa liquor
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
heating
and
the object
is a
patient
of
the process
and
the object
is an
instance
of
cocoa bean
and
hulled
is an
attribute
of
the object
and
HulledAttribute
is an
attribute
of
the object
and
fermented
is an
attribute
of
the object
and
the entity
is a
result
of
the process
and
liquid
is an
attribute
of
the entity
holds
during
the process
(=>
(
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
If
an entity
is an
instance
of
emulsion
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
substance
and
the other object
is an
instance
of
substance
and
liquid
is an
attribute
of
the object
and
liquid
is an
attribute
of
the other object
and
the object
is not
equal
to
the other object
(=>
(
instance
?X
Urine
)
(
attribute
?X
Liquid
))
Mid-level-ontology.kif 2099-2101
If
an object
is an
instance
of
urine
,
then
liquid
is an
attribute
of
the object
(=>
(
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
If
an object
is
downstream
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the other object
and
the other object
before
the object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the object
(=>
(
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
If
an object
is
downwind
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the other object
and
the other object
before
the object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the object
(=>
(
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
If
an object
is
upstream
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the object
before
the other object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the other object
(=>
(
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
If
an object
is
upwind
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the object
before
the other object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the other object
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