Experimenting
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4281-4293
Experimenting
e' uma
instancia
de
Experimenting
Entidade
_USERS
Entidade
_USERS e' uma
instancia
de
Colecao
Humano
Humano
e' uma
instancia
de
Humano
treatedUser
Humano
and
Experimenting
Humano
e'
membro
de
Entidade
_USERS
TreatedUsersFn
Experimenting
e'
igual
a
Entidade
_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