No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1497-1497 | 子類 時間要求屬性 and 實時系統屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1509-1509 | 子類 複雜屬性 and 時間要求屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1547-1547 | 子類 嚴格屬性 and 時間要求屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1611-1611 | 子類 抽象級別屬性 and 時間要求屬性 |