patient
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 940-949
If
a process
is an
instance
of
anesthetizing
and
an entity
is a
patient
of
the process
,
then
unconscious
is an
attribute
of
the entity
or
pain
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
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 2764-2778
If
an object
is an
instance
of
antigen COVID test
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
measuring
and
another object
is a
patient
of
the process
and
a third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
,
then the statement
the other object
know
s there exists
the third object
such that
the third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
has the
modal
force
of
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 1035-1048
If
a process
is an
instance
of
appointing
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the entity
doesn't hold the
position
of
the other entity
in
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
holds the
position
of
the other entity
in
the third entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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 12520-12534
If
a process
is an
instance
of
attaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
,
then
the process
attaches
the entity
to another object and
the process
attaches
the other entity
to another object
(=>
(
and
(
instance
?A
Fungivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Fungus
))
Mid-level-ontology.kif 21682-21688
If
an agent
is an
instance
of
fungivore
and
the agent
is an
agent
of
a process
and
the process
is an
instance
of
eating
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
fungus
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 21653-21659
If
an agent
is an
instance
of
herbivore
and
the agent
is an
agent
of
a process
and
the process
is an
instance
of
eating
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
plant
(=>
(
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 1000-1011
If
a process
is an
instance
of
local anesthetizing
and
the process
is
located
at
an object
and
the object
is an
instance
of
body part
and
the object
is a
part
of
another object
and
the other object
is a
patient
of
the process
,
then
pain
in the
the object
is not an
attribute
of
the other object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?A
Omnivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
or
(
instance
?F
Plant
)
(
instance
?F
Animal
)
(
instance
?F
Fungus
)))
Mid-level-ontology.kif 21667-21676
If
an agent
is an
instance
of
omnivore
and
the agent
is an
agent
of
a process
and
the process
is an
instance
of
eating
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
plant
or
the entity
is an
instance
of
animal
or
the entity
is an
instance
of
fungus
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 975-984
If
a process
is an
instance
of
sedating
and
an entity
is a
patient
of
the process
,
then
conscious
is an
attribute
of
the entity
and
anxiety
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
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
If
an accessing web page
is an
instance
of
accessing web page
and
an entity
is an
instance
of
web page
and
a process
is an
instance
of
data transfer
and
an object
is an
instance
of
server
and
another process
is an
instance
of
requesting
and
an agent
is an
instance
of
web browser
and
a time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the accessing web page
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the entity
is a
patient
of
the other process
and
the process
originate
s at
the object
and
the process
end
s up at
the agent
and
the entity
is a
patient
of
the process
and
the process
is a
subprocess
of
the accessing web page
and
the other process
is a
subprocess
of
the accessing web page
and the
end
of the
time
of existence of
the other process
is
equal
to the
beginning
of
the time interval
and the
end
of the
time
of existence of
the process
is
equal
to the
end
of
the time interval
,
then the time to
access
in
the accessing web page
is
equal
to
the time interval
(=>
(
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 4477-4486
If
a process
is an
instance
of
activating a deactivated account
and
an entity
is an
instance
of
user account
and
the entity
is a
patient
of
the process
,
then
account deactivated
is an
attribute
of
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
account active
is an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
a time interval
is an
instance
of
activating UI element
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
GUI element
,
then
the entity
has
state
GUE active state
holds
during
the
end
of
the time interval
and not
the entity
has
state
GUE active state
holds
during
the
beginning
of
the time interval
(=>
(
and
(
instance
?ACT
AltKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
AltKey
))
ComputerInput.kif 1322-1327
If
a process
is an
instance
of
alt key hold down
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
alt key
(=>
(
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
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE uncovered state
,
then not
the entity
has
state
the attribute
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE uncovered state
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?ACT
CharacterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
CharacterKey
))
ComputerInput.kif 1377-1382
If
a process
is an
instance
of
character key press
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
character key
(=>
(
and
(
instance
?ACT
ControlKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ControlKey
))
ComputerInput.kif 1299-1304
If
a process
is an
instance
of
control key hold down
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
control key
(=>
(
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
If
a process
is an
instance
of
downloading non audio video image user file
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer file
,
then
the entity
is not an
instance
of
image file
and
the entity
is not an
instance
of
audio file
and
the entity
is not an
instance
of
multimedia file
(=>
(
and
(
instance
?ACT
DraggingWithCursor
)
(
patient
?ACT ?CURSOR)
(
instance
?CURSOR
Cursor
))
(
instance
?CURSOR
MouseCursor
))
ComputerInput.kif 1753-1758
If
a process
is an
instance
of
dragging with cursor
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
cursor
,
then
the entity
is an
instance
of
mouse cursor
(=>
(
and
(
instance
?ACT
EnterKeyPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
EnterKey
))
ComputerInput.kif 1421-1426
If
a process
is an
instance
of
enter key press
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
enter key
(=>
(
and
(
instance
?ACT
FunctionKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
FunctionKey
))
ComputerInput.kif 1346-1351
If
a process
is an
instance
of
function key hold down
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
function key
(=>
(
and
(
instance
?ACT
ScreenTouchAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?TOUCHSURF
ComputerTouchscreen
))
ComputerInput.kif 1587-1592
If
a process
is an
instance
of
screen touch action
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
touch sensitive computer input device
,
then
the entity
is an
instance
of
computer touchscreen
(=>
(
and
(
instance
?ACT
ShiftKeyHoldDown
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
ShiftKey
))
ComputerInput.kif 1278-1283
If
a process
is an
instance
of
shift key hold down
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
shift key
(=>
(
and
(
instance
?ACT
SpecialCharacterPress
)
(
patient
?ACT ?KEY)
(
instance
?KEY
ComputerKeyboardKey
))
(
instance
?KEY
SpecialComputerKeyboardKey
))
ComputerInput.kif 1402-1407
If
a process
is an
instance
of
special character press
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer keyboard key
,
then
the entity
is an
instance
of
special computer keyboard key
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12394-12403
If
a process
is an
instance
of
surgery
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
cutting
and
the entity
is an
instance
of
animal
and
the entity
is a
patient
of
the other process
and
the other process
is a
subprocess
of
the process
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
