No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1457-1457 |
例 DependentTaskRelation and 任務關係屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1450-1450 |
子類 IndependentTaskRelation and 任務關係屬性 |
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 |
|