| Experimenting | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3232-3233 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12972-12974 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12971-12971 | Experimenting est une sous-classe de enqu�ter |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22816-22816 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22815-22815 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22814-22814 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3158-3158 | Le nombre 1 argument de GPIFn est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3125-3125 | Le nombre 1 argument de GPSFn est une instance de Experimenting |
| 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 3047-3047 | Le nombre 1 argument de PPSFn est une instance de Experimenting |
| 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 3033-3033 | Le nombre 1 argument de QualifyingPurchasesFn est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4274-4274 | Le nombre 1 argument de TreatedUsersFn est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4301-4301 | Le nombre 1 argument de burnInPeriod est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 528-528 | Le nombre 1 argument de confidenceInterval est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3843-3843 | Le nombre 2 argument de controlGroup est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2824-2824 | Le nombre 1 argument de conversionEvent est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4331-4331 | Le nombre 1 argument de exclusiveEvent est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4017-4017 | Le nombre 2 argument de experimentID est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2673-2673 | Le nombre 2 argument de experimentUpdate est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15721-15721 | Le nombre 1 argument de experimentalControl est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3823-3823 | Le nombre 1 argument de experimentalControlProcess est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3913-3913 | Le nombre 1 argument de experimentalSubject est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4036-4036 | Le nombre 2 argument de experimentalTreatmentCollection est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3870-3870 | Le nombre 1 argument de experimentalVariableProcess est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3942-3942 | Le nombre 1 argument de experimenter est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2694-2694 | Le nombre 2 argument de finalExperimentReport est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 566-566 | Le nombre 1 argument de pValue est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4054-4054 | Le nombre 1 argument de qualifiedExperiment est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4072-4072 | Le nombre 1 argument de qualifiedPageView est une instance de Experimenting |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4093-4093 | Le nombre 1 argument de qualifiedTreatment est une instance de Experimenting |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 549-556 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 540-547 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4357-4374 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3897-3902 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3829-3833 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3889-3894 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3882-3886 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3095-3114 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3056-3073 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3923-3934 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3794-3798 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 483-489 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4501-4518 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3851-3862 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3968-3979 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4241-4267 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4175-4190 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 577-584 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 586-593 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 569-575 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3800-3810 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4208-4223 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4407-4411 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4495-4499 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4455-4459 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4461-4465 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15709-15714 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 |
|
|
|
|