|
|
   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 | ComputerComponent e' uma sub-classe de ComputerHardware |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 83-83 | CPU e' uma sub-classe de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 70-70 | ComputerMemory e' uma sub-classe de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | DiskDrive e' uma sub-classe de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | HardDiskDrive e' uma sub-classe de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | NetworkAdapter e' uma sub-classe de ComputerComponent |
| 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 | O argumento numero 3 de componentDataID e' uma instancia de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1841-1841 | O argumento numero 1 de load e' uma instancia de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 941-941 | O argumento numero 2 de performanceResult e' uma instancia de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 839-839 | O argumento numero 1 de unitMeasuringPerformance e' uma instancia de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 898-898 | O argumento numero 2 de componentDataID e' uma sub-classe de ComputerComponent |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 820-823 |
|
|
|