No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | 子類 WebPage and 數字數據 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2027-2027 | 子類 ProductDescriptionPage and WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2058-2058 | 子類 ViewItemPage and WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2523-2523 | 子類 SearchResultsPage and WebPage |