No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | WebPage is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2236-2236 | Product description page is a subclass of WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2267-2267 | Next generation view item is a subclass of WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2733-2733 | Search results page is a subclass of WebPage |
![]() |