No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3919-3921 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3913-3913 |
域 experimentalSubject, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3915-3915 |
域 experimentalSubject, 2 and Human |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3911-3911 |
例 experimentalSubject and CaseRole |