No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1718-1718 | Computer protocol is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1748-1748 | ActiveSync is a subclass of computer protocol |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2815-2815 | USB is a subclass of computer protocol |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4025-4025 | DHCP is a subclass of computer protocol |