WebSite |
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. | ComputerInput.kif 2949-2949 | 域 webVisitor, 2 and WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 682-682 | 域 webcart, 3 and WebSite |