No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | WebPage est une sous-classe de DigitalData |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2027-2027 | ProductDescriptionPage est une sous-classe de WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2058-2058 | ViewItemPage est une sous-classe de WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2523-2523 | SearchResultsPage est une sous-classe de WebPage |