TransientSystemBehavior |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1529-1531 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1417-1419 |
![]() |
![]() |