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 TikTok |
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 活性同步 |