Collection(collection) |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3615-3615 | The number 3 argument of new registered users is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4446-4446 | The number 1 argument of managed orthogonal is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4448-4448 | The number 2 argument of managed orthogonal is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 474-474 | The number 1 argument of statistical population is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 475-475 | The number 2 argument of statistical population is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1290-1290 | The number 1 argument of sub collection is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1291-1291 | The number 2 argument of sub collection is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 603-603 | The number 1 argument of t test result is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 604-604 | The number 2 argument of t test result is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3958-3958 | The number 1 argument of treatment group is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1243-1243 | The number 2 argument of watching listings is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 821-821 | The number 1 argument of web purchases is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 913-913 | The number 1 argument of web sales is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 681-681 | The number 2 argument of web cart is an instance of collection |