No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3090-3091 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3084-3084 |
Le nombre 1 argument de PPIFn est une instance de Experimenting |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3086-3086 |
Le nombre 2 argument de PPIFn est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3082-3082 |
PPIFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3088-3088 |
Le domaine de PPIFn est une instance de nombre r�el |