| 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 1561-1561 | HardStrictness 是 严格属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1565-1565 | FirmStrictness 是 严格属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1570-1570 | SoftStrictness 是 严格属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1577-1577 | ImportanceStrictness 是 严格属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1582-1582 | UtilityStrictness 是 严格属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1589-1589 | HybridStrictness 是 严格属性 的 subclass |
|
|