| No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | 子類 WebSite and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1512-1512 | 子類 SocialNetworkingSite and WebSite |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4610-4610 | 子類 Toutiao and WebSite |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4626-4626 | 子類 YouTube and WebSite |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2871-2871 | 子類 Blog and WebSite |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2875-2875 | 子類 Wiki and WebSite |
|
|