No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1070-1070 |
高度优先 是 优先级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1074-1074 |
低优先级 是 优先级属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47414-47414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47413-47413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47412-47412 |
|