No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1537-1537 |
MultipleRequirementComplexity est une sous-classe de ComplexityAttribute |
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. |
domainEnglishFormat.kif 16188-16188 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16187-16187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16186-16186 |
|