No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1484-1484 | BluetoothNetwork est une sous-classe de WirelessNetwork |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1590-1590 | AdvancedAudioDistributionProfile est une sous-classe de BluetoothNetwork |
![]() |