result
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
Processo
e' uma
instancia
de
Harvesting
Entidade
e' o
resultado
de
Processo
Entidade
RG
Entidade
e' uma
instancia
de
DeadFn
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Objeto Organico
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
Herb
))
(
attribute
?X
Produce
))
Food.kif 2159-2164
Processo
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Herb
Produce
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
Processo
e' uma
instancia
de
Helping
Processo
e' um
agente
de
AutonomousAgent
Fisico
e' o
resultado
de
Processo
Agente Cognitivo
AutonomousAgent
e'
igual
a
Agente Cognitivo
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
quer
Fisico
(=>
(
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
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
result
?JUDGE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?P)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?P))))
Merge.kif 12092-12106
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
acredita
que
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
acredita
que
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
?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
?ORDER
Ordering
)
(
result
?ORDER ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Order
))
Mid-level-ontology.kif 14287-14292
Processo
e' uma
instancia
de
Ordenar
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Frase
Entidade
e' uma
instancia
de
Order
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
Entidade
e' uma
instancia
de
ForestProduct
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Organismo
Processo
Objeto
Processo
e' uma
instancia
de
Agriculture
Entidade
e' o
resultado
de
Processo
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Forest
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Escrever
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Document
Entidade
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Writer
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
Proposicao
e' uma
instancia
de
OperationPlan
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
OperationPlanning
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
Proposicao
e' uma
instancia
de
OperationPlan
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Processo
e' uma
instancia
de
MilitaryOperation
ContentBearingPhysical
e' o
resultado
de
Processo
Proposicao
define
Processo
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
Processo
e' uma
instancia
de
JointOperationPlanning
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
OPLAN
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
Processo
e' uma
instancia
de
Processo Quimico
Objeto
e' um
recurso
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Substancia Pura
(=>
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
exists
(?O ?A ?A1 ?A2)
(
and
(
instance
?O
Offering
)
(
instance
?A
ReachingAgreement
)
(
refers
?O ?AG)
(
refers
?A ?AG)
(
agent
?O ?A1)
(
agent
?A ?A2)
(
earlier
(
WhenFn
?O)
(
WhenFn
?A)))))
Law.kif 526-540
Processo
e' uma
instancia
de
Processo Intencional
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
Processo
Processo
,
Processo
1 and
Processo
2
Processo
e' uma
instancia
de
Offering
Processo
e' uma
instancia
de
ReachingAgreement
Processo
inclui uma
referencia
a
Agreement
Processo
inclui uma
referencia
a
Agreement
Processo
e' um
agente
de
Processo
1
Processo
e' um
agente
de
Processo
2
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PROCESS
Separating
)
(
resource
?PROCESS ?SOURCE)
(
result
?PROCESS ?PRODUCT)
(
instance
?PRODUCT
Iron
))
(
instance
?SOURCE
IronOre
))
Economy.kif 5629-5635
Processo
e' uma
instancia
de
Separar
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Iron
Objeto
e' uma
instancia
de
IronOre
(=>
(
and
(
instance
?QUESTION
Questioning
)
(
result
?QUESTION ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Question
))
Mid-level-ontology.kif 14254-14259
Processo
e' uma
instancia
de
Questionar
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Frase
Entidade
e' uma
instancia
de
Question
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
Processo
e' uma
instancia
de
ReachingAgreement
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Agreement
partyToAgreement
AutonomousAgent
and
Entidade
vale
durante
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 121-127
Entidade
e' uma
instancia
de
DeadFn
Objeto Organico
Processo
e' uma
instancia
de
Morte
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Objeto Organico
(=>
(
and
(
instance
?REM
OrganicObject
)
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG)
(
result
?DEATH ?REM))
(
instance
?REM
OrganismRemains
))
Mid-level-ontology.kif 58-65
Entidade
e' uma
instancia
de
Objeto Organico
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Organismo
AutonomousAgent
experimenta
Processo
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
OrganismRemains
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