No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 676-678 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 680-680 |
域 webcart, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 681-681 |
域 webcart, 2 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 682-682 |
域 webcart, 3 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 673-673 |
例 webcart and TernaryPredicate |