hasGUEState
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2149-2155
If
a GUI element
is an
instance
of
GUI element
,
then
the GUI element
has
state
GUE covered state
or
the GUI element
has
state
GUE offscreen state
or
the GUI element
has
state
GUE minimized state
or
the GUI element
has
state
GUE displayed state
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1797-1803
If
a process
is an
instance
of
window scrolling by user
,
then there exists
a GUI element
such that
the GUI element
is a
patient
of
the process
and
the GUI element
is an
instance
of
interface window
and
the GUI element
has
state
GUE active state
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2190-2198
If
a time interval
is an
instance
of
selecting active area
,
then there exists
an entity
such that
the entity
is an
instance
of
GUI active area
and
the entity
has
state
GUE active state
holds
during
the
beginning
of
the time interval
and
the entity
is a
patient
of
the time interval
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
