patient
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
e' uma
instancia
de
Anesthetizing
Entidade
e' um
patient
de
Processo
Inconsciente
e' um
atributo
de
Entidade
Pain
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
Objeto
e' uma
instancia
de
AntibodyCOVIDTest
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Medir
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
COVIDAntibody
Objeto
e' uma &parte de
Objeto
o argumento
Objeto
sabe
Objeto
Objeto
e' uma
instancia
de
COVIDAntibody
Objeto
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
Processo
e' uma
instancia
de
Appointing
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
nao ocupa %n a
posicao
de
Entidade
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
ocupa a
posicao
de
Entidade
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
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
objectAttached
Processo
and
Entidade
objectAttached
Processo
and
Entidade
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
AutonomousAgent
e' uma
instancia
de
Herbivore
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Planta
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processo
e' uma
instancia
de
LocalAnesthetizing
Processo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
patient
de
Processo
PainFn
Objeto
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
Processo
e' uma
instancia
de
Sedating
Entidade
e' um
patient
de
Processo
Conscious
e' um
atributo
de
Entidade
Anxiety
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
Entidade
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
DataTransfer
Objeto
e' uma
instancia
de
Server
Processo
e' uma
instancia
de
Pedir
AutonomousAgent
e' uma
instancia
de
WebBrowser
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
e' um
patient
de
AccessingWebPage
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
AccessingWebPage
Processo
e' um
sub
-processo de
AccessingWebPage
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
fim
de
Intervalo Temporal
SiteSpeedFn
AccessingWebPage
e'
igual
a
Intervalo Temporal
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
Processo
e' uma
instancia
de
ActivatingADeactivatedAccount
Entidade
e' uma
instancia
de
UserAccount
Entidade
e' um
patient
de
Processo
AccountDeactivated
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AccountActive
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
BeginFn
?ACT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2268-2277
Intervalo Temporal
e' uma
instancia
de
ActivatingUIElement
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
GUIElement
hasGUEState
Entidade
and
GUE_ActiveState
vale
durante o
fim
de
Intervalo Temporal
hasGUEState
Entidade
and
GUE_ActiveState
vale
durante o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?ACT
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
Processo
e' uma
instancia
de
AltKeyHoldDown
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
AltKey
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
Intervalo Temporal
e' uma
instancia
de
BringingGEToFront
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
Atributo
vale
durante o
comeco
de
Intervalo Temporal
Atributo
e' &o oposto de
GUE_UncoveredState
hasGUEState
Entidade
and
Atributo
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
Intervalo Temporal
e' uma
instancia
de
BringingGEToFront
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_UncoveredState
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
Processo
e' uma
instancia
de
CharacterKeyPress
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
CharacterKey
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
Processo
e' uma
instancia
de
ControlKeyHoldDown
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
ControlKey
(=>
(
and
(
instance
?ACT
DownloadingNonAudioVideoImageUserFile
)
(
patient
?ACT ?FILE)
(
instance
?FILE
ComputerFile
))
(
and
(
not
(
instance
?FILE
ImageFile
))
(
not
(
instance
?FILE
AudioFile
))
(
not
(
instance
?FILE
MultimediaFile
))))
ComputerInput.kif 2761-2772
Processo
e' uma
instancia
de
DownloadingNonAudioVideoImageUserFile
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerFile
Entidade
e' uma
instancia
de
ImageFile
Entidade
e' uma
instancia
de
AudioFile
Entidade
e' uma
instancia
de
MultimediaFile
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
Processo
e' uma
instancia
de
DraggingWithCursor
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Cursor
Entidade
e' uma
instancia
de
MouseCursor
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
Processo
e' uma
instancia
de
EnterKeyPress
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
EnterKey
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
Processo
e' uma
instancia
de
FunctionKeyHoldDown
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
FunctionKey
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
Processo
e' uma
instancia
de
ScreenTouchAction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
TouchSensitiveComputerInputDevice
Entidade
e' uma
instancia
de
ComputerTouchscreen
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
Processo
e' uma
instancia
de
ShiftKeyHoldDown
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
ShiftKey
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
Processo
e' uma
instancia
de
SpecialCharacterPress
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerKeyboardKey
Entidade
e' uma
instancia
de
SpecialComputerKeyboardKey
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
Processo
e' uma
instancia
de
Cirurgia
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Cortar
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?JOYSTICK)
(
instance
?JOYSTICK
Joystick
))
(
instance
?ACT
JoystickMotion
))
ComputerInput.kif 1645-1650
Processo
e' uma
instancia
de
UserDirectAction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Joystick
Processo
e' uma
instancia
de
JoystickMotion
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHPAD)
(
instance
?TOUCHPAD
ComputerTouchpad
))
(
instance
?ACT
TouchPadAction
))
ComputerInput.kif 1626-1631
Processo
e' uma
instancia
de
UserDirectAction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ComputerTouchpad
Processo
e' uma
instancia
de
TouchPadAction
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