No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1457-1457 |
DependentTaskRelation 是 任务关系属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1450-1450 |
IndependentTaskRelation 是 任务关系属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57013-57013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57012-57012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57011-57011 |
|