No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1421-1421 |
AssessmentDesignPattern est une sous-classe de DesignPatternAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1381-1381 |
GuidanceDesignPattern est une sous-classe de DesignPatternAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1403-1403 |
InitiationDesignPattern est une sous-classe de DesignPatternAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19254-19254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19253-19253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19252-19252 |
|