No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1509-1509 | ComplexityAttribute e' uma sub-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1522-1522 | SingleRequirementComplexity e' uma sub-classe de ComplexityAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1537-1537 | MultipleRequirementComplexity e' uma sub-classe de ComplexityAttribute |