No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1486-1486 |
子類 ConcurrencyFormOfAdaptation and 適應屬性的形式 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1478-1478 |
子類 PrecisionFormOfAdaptation and 適應屬性的形式 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1492-1492 |
子類 ResourceAllocationFormOfAdaptation and 適應屬性的形式 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1480-1480 |
子類 SlackFormOfAdaptation and 適應屬性的形式 |
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 |
|