No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3090-3091 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3084-3084 |
域 PPIFn, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3086-3086 |
域 PPIFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3082-3082 |
例 PPIFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3088-3088 |
範圍 PPIFn and RealNumber |