AirPlay(隔空播放) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1842-1846 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1836-1840 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1830-1834 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1848-1851 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1829-1829 | 子類 隔空播放 and WirelessNetwork |
appearance as argument number 2 |
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 1855-1855 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1854-1854 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1853-1853 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1856-1856 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1860-1870 |