tTest |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 598-601 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 603-603 | 域 tTest, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 604-604 | 域 tTest, 2 and Collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 605-605 | 域 tTest, 3 and RealNumber |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 595-595 | 例 tTest and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4834-4834 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4833-4833 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4832-4832 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 596-596 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 607-617 |
|