No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2205-2205 | Firmware is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2241-2241 | Baseband is a subclass of firmware |