No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 787-787 |
ProcessFailure e' uma instancia de ProcessStatus |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 791-791 |
ProcessSuccess e' uma instancia de ProcessStatus |
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 |
|