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