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 1590-1590 | Advanced Audio Distribution Profile is a subclass of Bluetooth network |