No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4204-4206 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4198-4198 |
域 QualifyingEventsFn, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4196-4196 |
例 QualifyingEventsFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4200-4200 |
範圍 QualifyingEventsFn and Collection |