No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1537-1537 |
MultipleRequirementComplexity e' uma sub-classe de ComplexityAttribute |
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. |
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 |
|