No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 629-630 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 626-626 |
域 accountAtSite, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 627-627 |
域 accountAtSite, 2 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 624-624 |
例 accountAtSite and BinaryPredicate |