No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 955-957 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 949-949 |
域 webSeller, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 951-951 |
域 webSeller, 2 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 947-947 |
例 webSeller and BinaryPredicate |