ComputationalSystem(computational system)![]() ![]() ![]() |
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 9951-9951 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10688-10688 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10689-10689 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10690-10690 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10698-10698 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10699-10699 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10695-10695 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10697-10697 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10696-10696 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10692-10692 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10691-10691 | |
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 1938-1938 | Computer resource is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 290-290 | Hardware system is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1433-1433 | Realtime system is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1966-1966 | Server is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16251-16251 | Server is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16250-16250 | Server is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16249-16249 | Server is a subclass of computational system |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1147-1147 | 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 2279-2279 | 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 657-657 | 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 1793-1793 | 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 1169-1169 | 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 2286-2286 | 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 981-981 | 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 1945-1950 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 95-106 |
|
![]() |
![]() |