No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | ComputerHardware est une sous-classe de produit |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | ComputerHardware est une sous-classe de composant d'un appareil |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 288-288 | HardwareSystem est une sous-classe de ComputerHardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 467-467 | ComputerInputDevice est une sous-classe de ComputerHardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 477-477 | ComputerOutputDevice est une sous-classe de ComputerHardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | ComputerComponent est une sous-classe de ComputerHardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1668-1668 | Sensor est une sous-classe de ComputerHardware |