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 47542-47542 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47541-47541 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47540-47540 |
|