| No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | Web site is a subclass of digital data |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1512-1512 | Social networking site is a subclass of web site |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4610-4610 | Toutiao is a subclass of web site |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4626-4626 | YouTube is a subclass of web site |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2871-2871 | Blog is a subclass of web site |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2875-2875 | Wiki is a subclass of web site |
|
|