No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | Monitoring program is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 927-927 | Monitor connectivity cmd is a subclass of monitoring program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 931-931 | Monitor application cmd is a subclass of monitoring program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 935-935 | Monitor component cmd is a subclass of monitoring program |