No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 787-787 |
Process failure is an instance of process status |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 791-791 |
Process success is an instance of process status |
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 |
|