Experimenting
(试验)
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4281-4293
如果
试验
是
试验
的
instance
,
然后 有存在
实体
_USERS 这样
那个 实体
_USERS 是
群体
的
instance
和 对所有
人类
如果
那个 人类
是
人类
的
instance
和
那个 人类
是个
treated
used
在
那个 试验
,
然后
那个 人类
是
那个 实体
_USERS 的
member
和
treated
users
在
那个 试验
equal
那个 实体
_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