No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4307-4309 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4301-4301 |
域 burnInPeriod, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4303-4303 |
域 burnInPeriod, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4299-4299 |
例 burnInPeriod and BinaryPredicate |