No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1611-1611 |
抽象级别属性 是 时间要求属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1509-1509 |
复杂属性 是 时间要求属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1547-1547 |
严格属性 是 时间要求属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58132-58132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58131-58131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58130-58130 |
|