No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1537-1537 |
MultipleRequirementComplexity 是 复杂属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1522-1522 |
SingleRequirementComplexity 是 复杂属性 的 subclass |
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 |
|