No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1071-1072 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1067-1067 |
域 underageUser, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1069-1069 |
域 underageUser, 2 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1065-1065 |
例 underageUser and BinaryPredicate |