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