No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | Computer component is a subclass of computer hardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 70-70 | Computer memory is a subclass of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | Hard disk drive is a subclass of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 83-83 | CPU is a subclass of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | Network adapter is a subclass of computer component |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | Disk drive is a subclass of computer component |