patient
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processus
est une
instance
de
Anesthetizing
entit�
est un
patient
de
processus
inconscient
est un
attribut
de
entit�
Pain
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
AntibodyCOVIDTest
objet
est un
instrument
pour
processus
processus
est une
instance
de
mesurer
objet
est un
patient
de
processus
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
l'argument
objet
conna
�t
objet
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
a la
force
modale
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
Processus
est une
instance
de
Appointing
entit�
est un
patient
de
processus
entit�
entit�
entit�
n' occupe %n{pas} la
position
de
entit�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
occupe la
position
de
entit�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectAttached
processus
and
entit�
objectAttached
processus
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
est une
instance
de
Herbivore
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
manger
entit�
est un
patient
de
processus
entit�
est une
instance
de
plante
(=>
(
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
Processus
est une
instance
de
LocalAnesthetizing
processus
est
situ
� �
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est un
patient
de
processus
PainFn
objet
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
Processus
est une
instance
de
Sedating
entit�
est un
patient
de
processus
Conscious
est un
attribut
de
entit�
anxiété
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
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
est une
instance
de
AccessingWebPage
entit�
est une
instance
de
WebPage
processus
est une
instance
de
DataTransfer
objet
est une
instance
de
Server
processus
est une
instance
de
demander
AutonomousAgent
est une
instance
de
WebBrowser
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
AccessingWebPage
processus
est un
sous
-processus de
AccessingWebPage
la
fin
de
temps
d'existence de
processus
est
d
�but de
interval temporel
la
fin
de
temps
d'existence de
processus
est
fin
de
interval temporel
SiteSpeedFn
AccessingWebPage
est
interval temporel
(=>
(
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
Processus
est une
instance
de
ActivatingADeactivatedAccount
entit�
est une
instance
de
UserAccount
entit�
est un
patient
de
processus
AccountDeactivated
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AccountActive
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Interval temporel
est une
instance
de
ActivatingUIElement
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
GUIElement
hasGUEState
entit�
and
GUE_ActiveState
pendant
la
fin
de
interval temporel
hasGUEState
entit�
and
GUE_ActiveState
pendant
le
d
�but de
interval temporel
(=>
(
and
(
instance
?ACT
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
Processus
est une
instance
de
AltKeyHoldDown
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
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
Interval temporel
est une
instance
de
BringingGEToFront
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
attribut
pendant
le
d
�but de
interval temporel
attribut
est
l
'oppos� de
GUE_UncoveredState
hasGUEState
entit�
and
attribut
pendant
la
fin
de
interval temporel
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
Interval temporel
est une
instance
de
BringingGEToFront
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_UncoveredState
pendant
la
fin
de
interval temporel
(=>
(
and
(
instance
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
Processus
est une
instance
de
CharacterKeyPress
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
de
CharacterKey
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
Processus
est une
instance
de
ControlKeyHoldDown
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
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
Processus
est une
instance
de
DownloadingNonAudioVideoImageUserFile
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerFile
entit�
est une
instance
de
ImageFile
entit�
est une
instance
de
AudioFile
entit�
est une
instance
de
MultimediaFile
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
Processus
est une
instance
de
DraggingWithCursor
entit�
est un
patient
de
processus
entit�
est une
instance
de
Cursor
entit�
est une
instance
de
MouseCursor
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
Processus
est une
instance
de
EnterKeyPress
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
de
EnterKey
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
Processus
est une
instance
de
FunctionKeyHoldDown
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
de
FunctionKey
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
Processus
est une
instance
de
ScreenTouchAction
entit�
est un
patient
de
processus
entit�
est une
instance
de
TouchSensitiveComputerInputDevice
entit�
est une
instance
de
ComputerTouchscreen
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
Processus
est une
instance
de
ShiftKeyHoldDown
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
de
ShiftKey
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
Processus
est une
instance
de
SpecialCharacterPress
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerKeyboardKey
entit�
est une
instance
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
Processus
est une
instance
de
chirurgie
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
couper
entit�
est une
instance
de
animal
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?JOYSTICK)
(
instance
?JOYSTICK
Joystick
))
(
instance
?ACT
JoystickMotion
))
ComputerInput.kif 1645-1650
Processus
est une
instance
de
UserDirectAction
entit�
est un
patient
de
processus
entit�
est une
instance
de
Joystick
processus
est une
instance
de
JoystickMotion
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHPAD)
(
instance
?TOUCHPAD
ComputerTouchpad
))
(
instance
?ACT
TouchPadAction
))
ComputerInput.kif 1626-1631
Processus
est une
instance
de
UserDirectAction
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerTouchpad
processus
est une
instance
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