ComputerComponent
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 812-818 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | Computer component is a subclass of computer hardware |
appearance as argument number 2 |
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 70-70 | Computer memory 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 |
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 825-825 | Network adapter is a subclass of computer component |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16284-16284 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16283-16283 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16282-16282 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 899-899 | The number 3 argument of component data ID is an instance of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1841-1841 | The number 1 argument of load is an instance of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 941-941 | The number 2 argument of performance result is an instance of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 839-839 | The number 1 argument of unit measuring performance is an instance of computer component |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 898-898 | The number 2 argument of component data ID is a subclass of computer component |
antecedent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 820-823 |
|