No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1509-1509 | ComplexityAttribute est une sous-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1522-1522 | SingleRequirementComplexity est une sous-classe de ComplexityAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1537-1537 | MultipleRequirementComplexity est une sous-classe de ComplexityAttribute |