No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3845-3847 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3841-3841 |
域 controlGroup, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3843-3843 |
域 controlGroup, 2 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3839-3839 |
例 controlGroup and BinaryPredicate |