No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | MonitoringProgram est une sous-classe de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 927-927 | MonitorConnectivityCmd est une sous-classe de MonitoringProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 931-931 | MonitorApplicationCmd est une sous-classe de MonitoringProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 935-935 | MonitorComponentCmd est une sous-classe de MonitoringProgram |
![]() |