No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3619-3621 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3611-3611 |
域 newRegisteredUsers, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3613-3613 |
域 newRegisteredUsers, 2 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3615-3615 |
域 newRegisteredUsers, 3 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3609-3609 |
例 newRegisteredUsers and TernaryPredicate |