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
Objeto
e' uma
instancia
de
IgnitionCoil
Processo
e' uma
instancia
de
ElectricTransmission
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Electricity
Entidade
e' uma
instancia
de
Electricity
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
a
medida
de
Objeto
e'
Numero Real
Volt
(s)
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
InvasiveVentilator
Processo
e' uma
instancia
de
Respirar
AutonomousAgent
experimenta
Processo
Objeto
e' um
instrumento
para
Processo
Processo
Processo
e' uma
instancia
de
Intubation
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
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
e' uma
instancia
de
Lathe
Entidade
e' uma
instancia
de
Objeto
AutonomousAgent
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Rotating
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
Objeto
e' uma
instancia
de
Linguagem Animal
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
AutonomousAgent
e' uma
instancia
de
Animal
AutonomousAgent
e' uma
instancia
de
Humano
(=>
(
and
(
instance
?LANG
ComputerLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Machine
))
Merge.kif 1439-1444
Objeto
e' uma
instancia
de
Linguagem de Programacao
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
AutonomousAgent
e' uma
instancia
de
Maquina
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
Objeto
e' uma
instancia
de
Linguagem Humana
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
AutonomousAgent
e' uma
instancia
de
Humano
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
Objeto
e' uma
instancia
de
AirEngineCoolingSystem
Transferencia
e' uma
instancia
de
Resfriar
Objeto
e' um
instrumento
para
Transferencia
Objeto
Objeto
e' uma
instancia
de
Air
objectTransferred
Transferencia
and
Objeto
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
Objeto
e' uma
instancia
de
LiquidEngineCoolingSystem
Transferencia
e' uma
instancia
de
Resfriar
Objeto
e' um
instrumento
para
Transferencia
Objeto
Liquid
e' um
atributo
de
Objeto
objectTransferred
Transferencia
and
Objeto
(=>
(
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
Processo
e' uma
instancia
de
Medir
Objeto
e' um
instrumento
para
Processo
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
PulseOximeter
Entidade
Agente Cognitivo
sabe
oxygenSaturation
Entidade
and
Entidade
(=>
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?R
RTPCRTest
))
(
exists
(?E)
(
and
(
instance
?E
RadiatingLight
)
(
origin
?E ?R))))
Medicine.kif 1589-1597
Processo
e' uma
instancia
de
Medir
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
RTPCRTest
Processo
Processo
e' uma
instancia
de
Luz Irradiante
Processo
tem como
origem
Objeto
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?C)
(
instance
?C
Clock
))
(
instance
?Q
TimeMeasure
))
Mid-level-ontology.kif 2886-2892
Processo
e' uma
instancia
de
Medir
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Clock
Entidade
e' uma
instancia
de
Medida Temporal
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?T)
(
instance
?T
Thermometer
))
(
instance
?Q
TemperatureMeasure
))
Mid-level-ontology.kif 2922-2928
Processo
e' uma
instancia
de
Medir
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Thermometer
Entidade
e' uma
instancia
de
Medida de Temperatura
(=>
(
and
(
instance
?M
Muscle
)
(
instance
?BM
BodyMotion
)
(
instrument
?BM ?M)
(
instance
?BM
IntentionalProcess
))
(
instance
?M
VoluntaryMuscle
))
Mid-level-ontology.kif 10404-10410
Objeto
e' uma
instancia
de
Musculo
Processo
e' uma
instancia
de
Movimento do Corpo
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Processo Intencional
Objeto
e' uma
instancia
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
Processo
e' uma
instancia
de
Medir
Fisico
e' um
patient
de
Processo
Medida de Comprimento
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
AbsoluteAltimeter
Fisico
2 a
altitude
de
Fisico
e'
Fisico
2
Fisico
2 e' uma
superficie
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
Processo
e' uma
instancia
de
Medir
Fisico
e' um
patient
de
Processo
Medida de Comprimento
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
BarometricAltimeter
a
altitude
de
Fisico
e'
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
Processo
e' uma
instancia
de
Medir
Objeto auto-conectado
e' um
patient
de
Processo
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Medida de Comprimento
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
BarometricAltimeter
elevation
Objeto auto-conectado
and
Medida de Comprimento
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ALTIMETER)
(
instance
?ALTIMETER
Altimeter
))
(
instance
?QUANTITY
AltitudeMeasure
))
MilitaryDevices.kif 1426-1432
Processo
e' uma
instancia
de
Medir
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Altimeter
Entidade
e' uma
instancia
de
AltitudeMeasure
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?THERMOMETER)
(
instance
?THERMOMETER
Thermometer
))
(
instance
?QUANTITY
TemperatureMeasure
))
Mid-level-ontology.kif 2910-2916
Processo
e' uma
instancia
de
Medir
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Thermometer
Entidade
e' uma
instancia
de
Medida de Temperatura
(=>
(
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
Componente de Engenharia
e' uma
instancia
de
CableModem
Processo
e' uma
instancia
de
Communicacao
Componente de Engenharia
e' um
instrumento
para
Processo
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Cable
Componente de Engenharia
e' um
instrumento
para
Processo
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
(=>
(
and
(
instance
?PIPE
CrudeOilPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?OIL))
(
instance
?OIL
Petroleum
))
Transportation.kif 801-807
Objeto
e' uma
instancia
de
CrudeOilPipeline
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Petroleum
(=>
(
and
(
instance
?PIPE
NaturalGasPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?GAS))
(
instance
?GAS
NaturalGas
))
Transportation.kif 813-819
Objeto
e' uma
instancia
de
NaturalGasPipeline
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
NaturalGas
(=>
(
and
(
instance
?PIPE
PetroleumProductPipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
PetroleumProduct
))
Transportation.kif 826-832
Objeto
e' uma
instancia
de
PetroleumProductPipeline
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
PetroleumProduct
(=>
(
and
(
instance
?PIPE
Pipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
(
ExtensionFn
Fluid
)))
Transportation.kif 777-783
Objeto
e' uma
instancia
de
Pipeline
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de a
classe
correspondente a
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
Processo
e' uma
instancia
de
Cutucar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
conecta
AutonomousAgent
e
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
TransactionCollection
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
Comprar
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
instrumento
para
Processo
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