patient
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSCREEN)
(
instance
?TOUCHSCREEN
ComputerTouchscreen
))
(
instance
?ACT
ScreenTouchAction
))
ComputerInput.kif 1594-1599
Processo
e' uma
instancia
de
UserDirectAction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerTouchscreen
Processo
e' uma
instancia
de
ScreenTouchAction
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?ACT
TouchSurfaceAction
))
ComputerInput.kif 1545-1550
Processo
e' uma
instancia
de
UserDirectAction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
TouchSensitiveComputerInputDevice
Processo
e' uma
instancia
de
TouchSurfaceAction
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' uma
instancia
de
Atributo de Forma
Entidade
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
Processo
e' uma
instancia
de
Mudanca Superficial
Objeto
e' um
patient
de
Processo
Objeto
Entidade
Objeto
e' uma parte
superficial
de
Objeto
Entidade
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processo
e' uma
instancia
de
AirPhotographicReconnaissance
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Photographing
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processo
e' uma
instancia
de
ArmedReconnaissance
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
enemy
Agente Cognitivo
and
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?ARTERY
Artery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
origin
?TRANSFER ?HEART))))
Mid-level-ontology.kif 11108-11118
Objeto
e' uma
instancia
de
Artery
Processo
e' uma
instancia
de
Transferencia
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Entidade
e' uma
instancia
de
Sangue
Objeto
Objeto
e' uma
instancia
de
Heart
Processo
tem como
origem
Objeto
(=>
(
and
(
instance
?ARTERY
PulmonaryArtery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?LUNG)
(
and
(
instance
?LUNG
Lung
)
(
destination
?TRANSFER ?LUNG))))
Mid-level-ontology.kif 11141-11151
Objeto
e' uma
instancia
de
PulmonaryArtery
Processo
e' uma
instancia
de
Transferencia
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Entidade
e' uma
instancia
de
Sangue
Entidade
Entidade
e' uma
instancia
de
Lung
Processo
termina
em
Entidade
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
Objeto auto-conectado
e' uma
instancia
de
AutomobileShock
Processo
e' uma
instancia
de
Compressing
Buraco
e' uma
instancia
de
Buraco
Fluid
e' um
atributo
de
Objeto
Objeto auto-conectado
e'
igual
a o
dono
do buraco
Buraco
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
e' um
patient
de
Processo
Transferencia
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Buraco
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
causa
Transferencia
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processo
e' uma
instancia
de
AntiSurfaceOperation
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
Area Aquatica
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
Intervalo Temporal
e' uma
instancia
de
AddToCart
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Colecao
WebSite
,
Posicao Temporal
and
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
WebSite
e' uma
instancia
de
WebSite
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
webcart
AutonomousAgent
,
Colecao
and
WebSite
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Entidade
e'
membro
de
Colecao
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processo
e' uma
instancia
de
AddToCart
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
Processo
e' uma
instancia
de
Colar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
Processo
e' uma
instancia
de
Attack
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem
finalidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
patient
de
Entidade
para
AutonomousAgent
(=>
(
and
(
instance
?ATTACK
BiochemicalAttack
)
(
patient
?ATTACK ?OBJ))
(
instance
?OBJ
Organism
))
WMD.kif 64-68
Processo
e' uma
instancia
de
BiochemicalAttack
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Organismo
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
Processo
e' uma
instancia
de
Auctioning
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Objeto
e' um
patient
de
Processo
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
Processo
termina
em
AutonomousAgent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
AutonomousAgent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
Processo
e' uma
instancia
de
Auctioning
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Processo
AutonomousAgent
Medida de Divisa
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Medida de Divisa
e' uma
instancia
de
Medida de Divisa
bidPrice
Objeto
,
Medida de Divisa
and
AutonomousAgent
(=>
(
and
(
instance
?B
Baptizing
)
(
patient
?B ?H))
(
instance
?H
Human
))
Mid-level-ontology.kif 7997-8001
Processo
e' uma
instancia
de
Baptizing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Humano
(=>
(
and
(
instance
?B
Bathing
)
(
patient
?B ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 8862-8866
Processo
e' uma
instancia
de
Bathing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Animal
(=>
(
and
(
instance
?B
Biopsy
)
(
patient
?B ?BS))
(
instance
?BS
BodySubstance
))
Mid-level-ontology.kif 24089-24093
Processo
e' uma
instancia
de
Biopsy
Processo
S e' um
patient
de
Processo
Processo
S e' uma
instancia
de
Substancia Corporal
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22018-22025
Objeto
e' uma
instancia
de
Blade
Processo
e' uma
instancia
de
Cortar
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
patient
de
Processo
Objeto
encontra
Objeto
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
Processo
e' uma
instancia
de
Boarding
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
onboard
AutonomousAgent
and
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
onboard
AutonomousAgent
and
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?B
Boarding
)
(
patient
?B ?V))
(
instance
?V
Vehicle
))
Mid-level-ontology.kif 17380-17384
Processo
e' uma
instancia
de
Boarding
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Vehicle
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
Processo
e' uma
instancia
de
Braking
Entidade
e' um
patient
de
Processo
Numero Real
MilesPerHour
(s) e'
igual
a
AccelerationFn
Entidade
,
Entidade
,
Entidade
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Numero Real
MilesPerHour
(s) e'
igual
a
AccelerationFn
Entidade
,
Entidade
,
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processo
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Agente Cognitivo
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validPaymentType
PricingScheme
and
Payment
o argumento
Payment
MENT
Payment
MENT e' uma
instancia
de
Payment
Payment
MENT e' um
sub
-processo de
Processo
tem a
forca
modal
de
Likely
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