No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | WebSite 是 数字数据 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1512-1512 | SocialNetworkingSite 是 WebSite 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4610-4610 | Toutiao 是 WebSite 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4626-4626 | YouTube 是 WebSite 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2871-2871 | Blog 是 WebSite 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2875-2875 | Wiki 是 WebSite 的 subclass |