No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1336-1336 | System behavior attribute is a subclass of realtime system attribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1350-1350 | Periodic- system behavior is a subclass of system behavior attribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1355-1355 | Transient- system behavior is a subclass of system behavior attribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1360-1360 | Hybrid- system behavior is a subclass of system behavior attribute |