![]() |
![]() ![]() ![]()
|
![]() |
|
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 | Web page is a subclass of digital data |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2027-2027 | Product description page is a subclass of web page |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2523-2523 | Search results page is a subclass of web page |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2058-2058 | Next generation view item is a subclass of web page |
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 | The number 1 argument of homepage is an instance of web page |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4112-4112 | The number 1 argument of treated page is an instance of web page |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4393-4393 | The number 1 argument of url is an instance of web page |
antecedent |
![]() |
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 |
|
![]() |
![]() |