| No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | WebPage 是 数字数据 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2027-2027 | ProductDescriptionPage 是 WebPage 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2058-2058 | ViewItemPage 是 WebPage 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2523-2523 | SearchResultsPage 是 WebPage 的 subclass |
|
|