No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4591-4591 |
creator ByteDance and TikTok |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4622-4622 |
creator ByteDance and Toutiao |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4597-4605 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4608-4608 |
headquartersOfOrganization ByteDance and Beijing |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4596-4596 |
ByteDance e' uma instancia de Empresa |