No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1718-1718 | ComputerProtocol est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1748-1748 | ActiveSync est une sous-classe de ComputerProtocol |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2815-2815 | USBProtocol est une sous-classe de ComputerProtocol |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4025-4025 | DHCPProtocol est une sous-classe de ComputerProtocol |