No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1421-1421 |
AssessmentDesignPattern 是 设计模式属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1381-1381 |
GuidanceDesignPattern 是 设计模式属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1403-1403 |
InitiationDesignPattern 是 设计模式属性 的 subclass |
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 |
|