No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1336-1336 | SystemBehaviorAttribute e' uma sub-classe de RealtimeSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1350-1350 | Periodic-SystemBehavior e' uma sub-classe de SystemBehaviorAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1355-1355 | Transient-SystemBehavior e' uma sub-classe de SystemBehaviorAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1360-1360 | Hybrid-SystemBehavior e' uma sub-classe de SystemBehaviorAttribute |