more pictures...| ComputationalSystem(computational system)
more pictures... |
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 21-23 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9970-9970 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10711-10711 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10712-10712 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10713-10713 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10721-10721 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10722-10722 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10718-10718 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10720-10720 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10719-10719 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10715-10715 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10714-10714 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | Computational system is a subclass of product |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | Computer network is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1812-1812 | Computer resource is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 287-287 | Hardware system is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1329-1329 | Realtime system is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1840-1840 | Server is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16229-16229 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16228-16228 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16227-16227 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1043-1043 | The number 1 argument of benchmark performance is an instance of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2153-2153 | The number 1 argument of collect rate is an instance of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 547-547 | The number 1 argument of host of is an instance of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1667-1667 | The number 1 argument of memory size is an instance of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1065-1065 | The number 1 argument of priority is an instance of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2160-2160 | The number 1 argument of send rate is an instance of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 870-870 | The number 2 argument of system measured is an instance of computational system |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1819-1824 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 95-106 |
|
|
|
|