Experimenting
(試驗)
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4281-4293
例
試驗
and
試驗
entity
_USERS
例
entity
_USERS and
Collection
Human
例
Human
and
Human
Human
是個
treated
used
在
試驗
會員
Human
and
entity
_USERS
等於
treated
users
在
試驗
and
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