No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 724-728 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 732-732 |
域 browserID, 1 and Identifier |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 733-733 |
域 browserID, 2 and WebBrowser |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 734-734 |
域 browserID, 3 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 722-722 |
例 browserID and TernaryPredicate |