No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1408-1408 | Wireless network is a subclass of computer network |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1434-1434 | Wi-fi is a subclass of wireless network |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1473-1473 | Cell network is a subclass of wireless network |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1484-1484 | Bluetooth network is a subclass of wireless network |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1829-1829 | AirPlay is a subclass of wireless network |