No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | Web page is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2027-2027 | Product description page is a subclass of web page |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2058-2058 | Next generation view item is a subclass of web page |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2523-2523 | Search results page is a subclass of web page |