No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | MonitoringProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 927-927 | MonitorConnectivityCmd e' uma sub-classe de MonitoringProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 931-931 | MonitorApplicationCmd e' uma sub-classe de MonitoringProgram |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 935-935 | MonitorComponentCmd e' uma sub-classe de MonitoringProgram |