WebPage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1475-1481 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | 子類 WebPage and 數字數據 |
appearance as argument number 2 |
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 2523-2523 | 子類 SearchResultsPage 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. | Media.kif 1483-1483 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1966-1966 | 域 homePage, 1 and WebPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4112-4112 | 域 treatedPage, 1 and WebPage |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4393-4393 | 域 webPageURL, 1 and WebPage |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3759-3784 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4175-4190 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4152-4157 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2483-2489 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2382-2386 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2141-2145 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 771-781 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 125-131 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2667-2672 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1989-1994 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1495-1500 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4079-4085 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2173-2191 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1536-1544 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 434-441 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2953-2961 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1218-1226 |