No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1360-1360 |
Hybrid-SystemBehavior e' uma sub-classe de SystemBehaviorAttribute |
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. |
domainEnglishFormat.kif 56655-56655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56654-56654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56653-56653 |
|