No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4591-4591 |
ByteDance created 抖音 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4622-4622 |
ByteDance created 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 |
ByteDance 的 headquarters 是在 Beijing |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4596-4596 |
ByteDance 是 法人财团 的 instance |