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 是 数字数据 的 subclass |
appearance as argument number 2 |
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 2523-2523 | SearchResultsPage 是 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. | 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 数量 是 WebPage 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4112-4112 | treatedPage 的 1 数量 是 WebPage 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4393-4393 | webPageURL 的 1 数量 是 WebPage 的 instance |
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 |