patient
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
è un'
istanza
di
Anesthetizing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Inconscio
attribute
Entit�
and
Pain
vales
durante
il
tempo
di esistenza di
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
Oggetto
è un'
istanza
di
AntibodyCOVIDTest
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Misurare
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
COVIDAntibody
Oggetto
è una
parte
di
Oggetto
l'affermazione
Oggetto
conosce
s
Oggetto
Oggetto
è un'
istanza
di
COVIDAntibody
Oggetto
è una
parte
di
Oggetto
ha il modello di forza di
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
è un'
istanza
di
Appointing
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
è un'
istanza
di
Attaccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectAttached
Processo
and
Entit�
objectAttached
Processo
and
Entit�
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
AutonomousAgent
è un'
istanza
di
Herbivore
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Mangiare
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Pianta
(=>
(
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
è un'
istanza
di
LocalAnesthetizing
Processo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
PainFn
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
Processo
è un'
istanza
di
Sedating
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Conscious
attribute
Entit�
and
Anxiety
vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
AccessingWebPage
Entit�
è un'
istanza
di
WebPage
Processo
è un'
istanza
di
DataTransfer
Oggetto
è un'
istanza
di
Server
Processo
è un'
istanza
di
Richiedere
AutonomousAgent
è un'
istanza
di
WebBrowser
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
è un
paziente
di
AccessingWebPage
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
AccessingWebPage
Processo
è un
sottoprocesso
di
AccessingWebPage
la
fine
di il
tempo
di esistenza di
Processo
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di il
tempo
di esistenza di
Processo
is
uguale
a la
fine
di
IntervalloTemporale
SiteSpeedFn
AccessingWebPage
is
uguale
a
IntervalloTemporale
(=>
(
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
è un'
istanza
di
ActivatingADeactivatedAccount
Entit�
è un'
istanza
di
UserAccount
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
AccountDeactivated
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
AccountActive
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
IntervalloTemporale
è un'
istanza
di
ActivatingUIElement
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
GUIElement
hasGUEState
Entit�
and
GUE_ActiveState
vales
durante
la
fine
di
IntervalloTemporale
hasGUEState
Entit�
and
GUE_ActiveState
vales
durante
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?ACT
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
Processo
è un'
istanza
di
AltKeyHoldDown
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
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
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
Attributo
vales
durante
l'
inizio
di
IntervalloTemporale
Attributo
è
opposto
a
GUE_UncoveredState
hasGUEState
Entit�
and
Attributo
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
GUE_UncoveredState
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
Processo
è un'
istanza
di
CharacterKeyPress
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
CharacterKey
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
Processo
è un'
istanza
di
ControlKeyHoldDown
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
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
è un'
istanza
di
DownloadingNonAudioVideoImageUserFile
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerFile
Entit�
è un'
istanza
di
ImageFile
Entit�
è un'
istanza
di
AudioFile
Entit�
è un'
istanza
di
MultimediaFile
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
Processo
è un'
istanza
di
DraggingWithCursor
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Cursor
Entit�
è un'
istanza
di
MouseCursor
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
Processo
è un'
istanza
di
EnterKeyPress
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
EnterKey
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
Processo
è un'
istanza
di
FunctionKeyHoldDown
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
FunctionKey
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
Processo
è un'
istanza
di
ScreenTouchAction
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
TouchSensitiveComputerInputDevice
Entit�
è un'
istanza
di
ComputerTouchscreen
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
Processo
è un'
istanza
di
ShiftKeyHoldDown
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
ShiftKey
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
Processo
è un'
istanza
di
SpecialCharacterPress
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerKeyboardKey
Entit�
è un'
istanza
di
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
è un'
istanza
di
InterventoChirurgico
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Tagliare
Entit�
è un'
istanza
di
Animale
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?JOYSTICK)
(
instance
?JOYSTICK
Joystick
))
(
instance
?ACT
JoystickMotion
))
ComputerInput.kif 1645-1650
Processo
è un'
istanza
di
UserDirectAction
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Joystick
Processo
è un'
istanza
di
JoystickMotion
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHPAD)
(
instance
?TOUCHPAD
ComputerTouchpad
))
(
instance
?ACT
TouchPadAction
))
ComputerInput.kif 1626-1631
Processo
è un'
istanza
di
UserDirectAction
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ComputerTouchpad
Processo
è un'
istanza
di
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