No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2950-2950 |
Adobe created Flash |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1971-1971 |
AppleComputer created 蘋果app 商店 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1858-1858 |
苹果 created 隔空播放 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1900-1900 |
苹果 created 隔空打印 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 956-956 |
苹果 created FairPlay |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 989-989 |
苹果 created 迁移助理 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 975-975 |
苹果 created Safari |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 982-982 |
苹果 created 设置助理 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2433-2433 |
苹果 created 可可触控 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3293-3293 |
苹果 created AppleBooks |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3306-3306 |
苹果 created iBookstore |
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 4677-4677 |
EBay created EBayWebSite |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 69-69 |
脸书 created 脸书 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3100-3100 |
GoogleCorporation created GMail |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4635-4635 |
GoogleCorporation created YouTube |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1770-1770 |
微软 created 活性同步 |