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 70-70 | ComputerMemory est une sous-classe de ComputerComponent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | HardDiskDrive est une sous-classe de ComputerComponent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 83-83 | CPU est une sous-classe de ComputerComponent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | NetworkAdapter est une sous-classe de ComputerComponent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | DiskDrive est une sous-classe de ComputerComponent |