No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | WebSite e' uma sub-classe de DigitalData |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1512-1512 | SocialNetworkingSite e' uma sub-classe de WebSite |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4610-4610 | Toutiao e' uma sub-classe de WebSite |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4626-4626 | YouTube e' uma sub-classe de WebSite |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2871-2871 | Blog e' uma sub-classe de WebSite |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2875-2875 | Wiki e' uma sub-classe de WebSite |