PPIFn |
appearance as argument number 1 |
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 | The number 1 argument of qualifying purchases per user per interval is an instance of experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3086-3086 | The number 2 argument of qualifying purchases per user per interval is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3082-3082 | Qualifying purchases per user per interval is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3088-3088 | The range of qualifying purchases per user per interval is an instance of real number |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4190-4190 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4189-4189 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4188-4188 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3093-3093 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3095-3114 |
|