No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1486-1486 |
ConcurrencyFormOfAdaptation 是 适应属性的形式 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1478-1478 |
PrecisionFormOfAdaptation 是 适应属性的形式 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1492-1492 |
ResourceAllocationFormOfAdaptation 是 适应属性的形式 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1480-1480 |
SlackFormOfAdaptation 是 适应属性的形式 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24764-24764 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24763-24763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24762-24762 |
|