No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1718-1718 | ComputerProtocol e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1748-1748 | ActiveSync e' uma sub-classe de ComputerProtocol |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2815-2815 | USBProtocol e' uma sub-classe de ComputerProtocol |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4025-4025 | DHCPProtocol e' uma sub-classe de ComputerProtocol |