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 |
Le nombre 1 argument de QualifyingEventsFn est une instance de Experimenting |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4196-4196 |
QualifyingEventsFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4200-4200 |
Le domaine de QualifyingEventsFn est une instance de collection |