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
Objet
est une
instance
de
IgnitionCoil
processus
est une
instance
de
ElectricTransmission
objet
est une
resource
pour
processus
objet
est une
instance
de
Electricity
entit�
est une
instance
de
Electricity
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
la
mesure
de
objet
est
nombre r�el
Volt
(s)
approximateValue
nombre r�el
and 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
Objet
est une
instance
de
InvasiveVentilator
processus
est une
instance
de
respirer
AutonomousAgent
exp
�rimente
processus
objet
est un
instrument
pour
processus
processus
processus
est une
instance
de
Intubation
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
AutonomousAgent
est une
instance
de
Lathe
entit�
est une
instance
de
objet
AutonomousAgent
est un
instrument
pour
processus
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Rotating
processus
est un
sous
-processus de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
Objet
est une
instance
de
langage animal
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
AutonomousAgent
est une
instance
de
animal
AutonomousAgent
est une
instance
de
humain
(=>
(
and
(
instance
?LANG
ComputerLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Machine
))
Merge.kif 1439-1444
Objet
est une
instance
de
langage de programmation
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
AutonomousAgent
est une
instance
de
machine
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
Objet
est une
instance
de
langage humain
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
AutonomousAgent
est une
instance
de
humain
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
Objet
est une
instance
de
AirEngineCoolingSystem
transf�re
est une
instance
de
refroidir
objet
est un
instrument
pour
transf�re
objet
objet
est une
instance
de
Air
objectTransferred
transf�re
and
objet
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
Objet
est une
instance
de
LiquidEngineCoolingSystem
transf�re
est une
instance
de
refroidir
objet
est un
instrument
pour
transf�re
objet
Liquid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
(=>
(
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
Processus
est une
instance
de
mesurer
objet
est un
instrument
pour
processus
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
objet
est une
instance
de
PulseOximeter
entit�
agent cognitif
conna
�t
oxygenSaturation
entit�
and
entit�
(=>
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?R
RTPCRTest
))
(
exists
(?E)
(
and
(
instance
?E
RadiatingLight
)
(
origin
?E ?R))))
Medicine.kif 1589-1597
Processus
est une
instance
de
mesurer
objet
est un
instrument
pour
processus
objet
est une
instance
de
RTPCRTest
processus
processus
est une
instance
de
lumi�re irradiante
processus
a pour
origine
objet
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?C)
(
instance
?C
Clock
))
(
instance
?Q
TimeMeasure
))
Mid-level-ontology.kif 2886-2892
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Clock
entit�
est une
instance
de
mesure temporel
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?T)
(
instance
?T
Thermometer
))
(
instance
?Q
TemperatureMeasure
))
Mid-level-ontology.kif 2922-2928
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Thermometer
entit�
est une
instance
de
mesure de temperature
(=>
(
and
(
instance
?M
Muscle
)
(
instance
?BM
BodyMotion
)
(
instrument
?BM ?M)
(
instance
?BM
IntentionalProcess
))
(
instance
?M
VoluntaryMuscle
))
Mid-level-ontology.kif 10404-10410
Objet
est une
instance
de
muscle
processus
est une
instance
de
mouvement du corps
objet
est un
instrument
pour
processus
processus
est une
instance
de
processus intentionnel
objet
est une
instance
de
VoluntaryMuscle
(=>
(
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
Processus
est une
instance
de
mesurer
physique
est un
patient
de
processus
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
AbsoluteAltimeter
physique
2 le
altitude
de
physique
est
physique
2
physique
2 est une
surface
de
PlanetEarth
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
altitude
?OBJ
SeaLevel
?QUANTITY))
MilitaryDevices.kif 1477-1484
Processus
est une
instance
de
mesurer
physique
est un
patient
de
processus
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
BarometricAltimeter
le
altitude
de
physique
est
SeaLevel
(=>
(
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
Processus
est une
instance
de
mesurer
objet en une partie
est un
patient
de
processus
objet en une partie
est une
surface
de
PlanetEarth
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
BarometricAltimeter
elevation
objet en une partie
and
mesure de longueur
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ALTIMETER)
(
instance
?ALTIMETER
Altimeter
))
(
instance
?QUANTITY
AltitudeMeasure
))
MilitaryDevices.kif 1426-1432
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Altimeter
entit�
est une
instance
de
AltitudeMeasure
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?THERMOMETER)
(
instance
?THERMOMETER
Thermometer
))
(
instance
?QUANTITY
TemperatureMeasure
))
Mid-level-ontology.kif 2910-2916
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Thermometer
entit�
est une
instance
de
mesure de temperature
(=>
(
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
Composant d'un appareil
est une
instance
de
CableModem
processus
est une
instance
de
communication
composant d'un appareil
est un
instrument
pour
processus
composant d'un appareil
composant d'un appareil
est une
instance
de
Cable
composant d'un appareil
est un
instrument
pour
processus
composant d'un appareil
est
connect
� �
composant d'un appareil
(=>
(
and
(
instance
?PIPE
CrudeOilPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?OIL))
(
instance
?OIL
Petroleum
))
Transportation.kif 801-807
Objet
est une
instance
de
CrudeOilPipeline
processus
est une
instance
de
d�palcement
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
Petroleum
(=>
(
and
(
instance
?PIPE
NaturalGasPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?GAS))
(
instance
?GAS
NaturalGas
))
Transportation.kif 813-819
Objet
est une
instance
de
NaturalGasPipeline
processus
est une
instance
de
d�palcement
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
NaturalGas
(=>
(
and
(
instance
?PIPE
PetroleumProductPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
PetroleumProduct
))
Transportation.kif 826-832
Objet
est une
instance
de
PetroleumProductPipeline
processus
est une
instance
de
d�palcement
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
PetroleumProduct
(=>
(
and
(
instance
?PIPE
Pipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
(
ExtensionFn
Fluid
)))
Transportation.kif 777-783
Objet
est une
instance
de
Pipeline
processus
est une
instance
de
d�palcement
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de la
classe
correspondant �
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
Processus
est une
instance
de
percer
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
relie
AutonomousAgent
et
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
TransactionCollection
processus
est une
instance
de
acheter
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
objet
est un
instrument
pour
processus
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