No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 787-787 |
例 過程失敗 and 過程狀態 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 791-791 |
例 過程成功 and 過程狀態 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47540-47540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47539-47539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47538-47538 |
|