No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2951-2952 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2947-2947 |
域 GMBFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2945-2945 |
例 GMBFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2949-2949 |
範圍 GMBFn and CurrencyMeasure |