Experimenting
(experimenting)
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4281-4293
If
an experimenting
is an
instance
of
experimenting
,
then there exists
an entity
_USERS such that
the entity
_USERS is an
instance
of
collection
and for all
a human
if
the human
is an
instance
of
human
and
the human
is a
treated
used
in
the experimenting
,
then
the human
is a
member
of
the entity
_USERS
and the
treated
users
in
the experimenting
is
equal
to
the entity
_USERS
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