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 12996-12998 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12995-12995 | 试验 是 调查 的 subclass |
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 | GPIFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3125-3125 | GPSFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3084-3084 | PPIFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3047-3047 | PPSFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4198-4198 | QualifyingEventsFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3033-3033 | QualifyingPurchasesFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4274-4274 | TreatedUsersFn 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4301-4301 | burnInPeriod 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 528-528 | confidenceInterval 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3843-3843 | controlGroup 的 2 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2824-2824 | conversionEvent 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4331-4331 | exclusiveEvent 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4017-4017 | experimentID 的 2 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2673-2673 | experimentUpdate 的 2 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15749-15749 | 实验控制 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3823-3823 | experimentalControlProcess 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3913-3913 | experimentalSubject 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4036-4036 | experimentalTreatmentCollection 的 2 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3870-3870 | experimentalVariableProcess 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3942-3942 | experimenter 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2694-2694 | finalExperimentReport 的 2 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 566-566 | pValue 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4054-4054 | qualifiedExperiment 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4072-4072 | qualifiedPageView 的 1 数量 是 试验 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4093-4093 | qualifiedTreatment 的 1 数量 是 试验 的 instance |
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 15737-15742 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 |