No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4148-4150 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4140-4140 |
域 treatedPageDefinition, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4142-4142 |
域 treatedPageDefinition, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4146-4146 |
例 treatedPageDefinition and BinaryPredicate |