|
|
   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 est une sous-classe de ComputerHardware |
| appearance as argument number 2 |
|
|
| 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 70-70 | ComputerMemory 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 |
| 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 825-825 | NetworkAdapter est une sous-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 | Le nombre 3 argument de componentDataID est une instance de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1841-1841 | Le nombre 1 argument de load est une instance de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 941-941 | Le nombre 2 argument de performanceResult est une instance de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 839-839 | Le nombre 1 argument de unitMeasuringPerformance est une instance de ComputerComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 898-898 | Le nombre 2 argument de componentDataID est une sous-classe de ComputerComponent |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 820-823 |
|
|
|