LiftFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4559-4561 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4551-4551 | 域 LiftFn, 1 and Quantity |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4553-4553 | 域 LiftFn, 2 and Quantity |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4549-4549 | 例 LiftFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4555-4555 | 範圍 LiftFn and RealNumber |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3758-3758 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3757-3757 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3756-3756 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4557-4557 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4563-4571 |
|