instrument
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
If
an object
is an
instance
of
ignition coil
and
a process
is an
instance
of
electric transmission
and
another object
is a
resource
for
the process
and
the other object
is an
instance
of
electricity
and
an entity
is an
instance
of
electricity
and
the entity
is a
result
of
the process
and
the object
is an
instrument
for
the process
and the
measure
of
the other object
is
a real number
volt
(s),
then the approximate value of
the real number
is 12
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
If
an object
is an
instance
of
InvasiveVentilator
and
a process
is an
instance
of
breathing
and
an agent
experience
s
the process
and
the object
is an
instrument
for
the process
,
then there exists
another process
such that
the other process
is an
instance
of
Intubation
and
the other process
end
s up at
the agent
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?L
Lathe
)
(
instance
?OBJ
Object
)
(
instrument
?PROC ?L)
(
patient
?PROC ?OBJ))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
subProcess
?PROC ?R)
(
patient
?R ?OBJ)
(
agent
?R ?L))))
Economy.kif 6000-6011
If
an agent
is an
instance
of
lathe
and
an entity
is an
instance
of
object
and
the agent
is an
instrument
for
a process
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
rotating
and
the process
is a
subprocess
of
the other process
and
the entity
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
If
an object
is an
instance
of
animal language
and
an agent
is an
agent
of
a process
and
the object
is an
instrument
for
the process
,
then
the agent
is an
instance
of
animal
and
the agent
is not an
instance
of
human
(=>
(
and
(
instance
?LANG
ComputerLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Machine
))
Merge.kif 1439-1444
If
an object
is an
instance
of
computer language
and
an agent
is an
agent
of
a process
and
the object
is an
instrument
for
the process
,
then
the agent
is an
instance
of
machine
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
If
an object
is an
instance
of
human language
and
an agent
is an
agent
of
a process
and
the object
is an
instrument
for
the process
,
then
the agent
is an
instance
of
human
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
If
an object
is an
instance
of
air cooling system
and
a transfer
is an
instance
of
cooling
and
the object
is an
instrument
for
the transfer
,
then there exists
another object
such that
the other object
is an
instance
of
air
and the object transferred in
the transfer
is
the other object
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
If
an object
is an
instance
of
water cooling system
and
a transfer
is an
instance
of
cooling
and
the object
is an
instrument
for
the transfer
,
then there exists
another object
such that
liquid
is an
attribute
of
the other object
and the object transferred in
the transfer
is
the other object
(=>
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?PO)
(
agent
?M ?A)
(
patient
?M ?P)
(
instance
?PO
PulseOximeter
))
(
exists
(?N)
(
knows
?A
(
oxygenSaturation
?P ?N))))
Medicine.kif 1260-1269
If
a process
is an
instance
of
measuring
and
an object
is an
instrument
for
the process
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the object
is an
instance
of
pulse oximeter
,
then there exists
another entity
such that
the cognitive agent
know
s the
oxygen
saturation of
the entity
is
the other entity
percent
(=>
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?R
RTPCRTest
))
(
exists
(?E)
(
and
(
instance
?E
RadiatingLight
)
(
origin
?E ?R))))
Medicine.kif 1589-1597
If
a process
is an
instance
of
measuring
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
Reverse transcription polymerase chain reaction
,
then there exists
another process
such that
the other process
is an
instance
of
radiating light
and
the other process
originate
s at
the object
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?C)
(
instance
?C
Clock
))
(
instance
?Q
TimeMeasure
))
Mid-level-ontology.kif 2886-2892
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
clock
,
then
the entity
is an
instance
of
time measure
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?T)
(
instance
?T
Thermometer
))
(
instance
?Q
TemperatureMeasure
))
Mid-level-ontology.kif 2922-2928
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
thermometer
,
then
the entity
is an
instance
of
temperature measure
(=>
(
and
(
instance
?M
Muscle
)
(
instance
?BM
BodyMotion
)
(
instrument
?BM ?M)
(
instance
?BM
IntentionalProcess
))
(
instance
?M
VoluntaryMuscle
))
Mid-level-ontology.kif 10404-10410
If
an object
is an
instance
of
muscle
and
a process
is an
instance
of
body motion
and
the object
is an
instrument
for
the process
and
the process
is an
instance
of
intentional process
,
then
the object
is an
instance
of
voluntary muscle
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ABSOLUTEMETER)
(
instance
?ABSOLUTEMETER
AbsoluteAltimeter
))
(
exists
(?OBJ2)
(
and
(
altitude
?OBJ ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
))))
MilitaryDevices.kif 1441-1451
If
a process
is an
instance
of
measuring
and
a physical
is a
patient
of
the process
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
absolute altimeter
,
then there exists
the physical
2 such that the
altitude
of
the physical
is
the physical
2 and
the physical
2 is a
surface
of
planet earth
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
altitude
?OBJ
SeaLevel
?QUANTITY))
MilitaryDevices.kif 1477-1484
If
a process
is an
instance
of
measuring
and
a physical
is a
patient
of
the process
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
barometric altimeter
,
then the
altitude
of
the physical
is
sea level
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
If
a process
is an
instance
of
measuring
and
a self connected object
is a
patient
of
the process
and
the self connected object
is a
surface
of
planet earth
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
barometric altimeter
,
then
the length measure
is an
elevation
of
the self connected object
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ALTIMETER)
(
instance
?ALTIMETER
Altimeter
))
(
instance
?QUANTITY
AltitudeMeasure
))
MilitaryDevices.kif 1426-1432
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
altimeter
,
then
the entity
is an
instance
of
altitude measure
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?THERMOMETER)
(
instance
?THERMOMETER
Thermometer
))
(
instance
?QUANTITY
TemperatureMeasure
))
Mid-level-ontology.kif 2910-2916
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
thermometer
,
then
the entity
is an
instance
of
temperature measure
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 577-586
If
an engineering component
is an
instance
of
cable modem
and
a process
is an
instance
of
communication
and
the engineering component
is an
instrument
for
the process
,
then there exists
another engineering component
such that
the other engineering component
is an
instance
of
cable
and
the other engineering component
is an
instrument
for
the process
and
the other engineering component
is
connected
to
the engineering component
(=>
(
and
(
instance
?PIPE
CrudeOilPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?OIL))
(
instance
?OIL
Petroleum
))
Transportation.kif 801-807
If
an object
is an
instance
of
crude oil pipeline
and
a process
is an
instance
of
motion
and
the object
is an
instrument
for
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
petroleum
(=>
(
and
(
instance
?PIPE
NaturalGasPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?GAS))
(
instance
?GAS
NaturalGas
))
Transportation.kif 813-819
If
an object
is an
instance
of
natural gas pipeline
and
a process
is an
instance
of
motion
and
the object
is an
instrument
for
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
natural gas
(=>
(
and
(
instance
?PIPE
PetroleumProductPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
PetroleumProduct
))
Transportation.kif 826-832
If
an object
is an
instance
of
petroleum product pipeline
and
a process
is an
instance
of
motion
and
the object
is an
instrument
for
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
petroleum product
(=>
(
and
(
instance
?PIPE
Pipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
(
ExtensionFn
Fluid
)))
Transportation.kif 777-783
If
an object
is an
instance
of
pipeline
and
a process
is an
instance
of
motion
and
the object
is an
instrument
for
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of the
class
corresponding to
fluid
(=>
(
and
(
instance
?POKE
Poking
)
(
agent
?POKE ?AGENT)
(
patient
?POKE ?OBJ)
(
instrument
?POKE ?INST))
(
holdsDuring
(
WhenFn
?POKE)
(
connects
?INST ?AGENT ?OBJ)))
Merge.kif 12335-12341
If
a process
is an
instance
of
poking
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
an object
is an
instrument
for
the process
,
then
the object
connect
s
the agent
and
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?PURCHASE
TransactionCollection
)
(
instance
?BUYING1
Buying
)
(
instance
?BUYING2
Buying
)
(
subProcess
?BUYING1 ?PURCHASE)
(
subProcess
?BUYING2 ?PURCHASE)
(
agent
?PURCHASE ?AGENT)
(
instrument
?PURCHASE ?INST))
(
and
(
agent
?BUYING1 ?AGENT)
(
agent
?BUYING2 ?AGENT)
(
instrument
?BUYING1 ?INST)
(
instrument
?BUYING2 ?INST)))
UXExperimentalTerms.kif 1940-1953
If
a process
is an
instance
of
collection of transactions
and
another process
is an
instance
of
buying
and
a third process
is an
instance
of
buying
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
an agent
is an
agent
of
the process
and
an object
is an
instrument
for
the process
,
then
the agent
is an
agent
of
the other process
and
the agent
is an
agent
of
the third process
and
the object
is an
instrument
for
the other process
and
the object
is an
instrument
for
the third process
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