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 | AirPlay e' uma sub-classe de WirelessNetwork |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1858-1858 | creator AppleComputerCorporation and AirPlay |
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 |