No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4019-4020 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4015-4015 |
experimentID 的 1 数量 是 Identifier 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4017-4017 |
experimentID 的 2 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4013-4013 |
experimentID 是 二元谓语 的 instance |