QualifyingEventsFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4204-4206 | |
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 4196-4196 | QualifyingEventsFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4200-4200 | QualifyingEventsFn 的 range 是 群体 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4306-4306 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4305-4305 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4304-4304 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4202-4202 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4241-4267 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4208-4223 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4125-4136 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3998-4003 |