No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1497-1497 | 时间要求属性 是 实时系统属性 的 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. | QoSontology.kif 1611-1611 | 抽象级别属性 是 时间要求属性 的 subclass |