No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1611-1611 |
AbstractionLevelAttribute e' uma sub-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1509-1509 |
ComplexityAttribute e' uma sub-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1547-1547 |
StrictnessAttribute e' uma sub-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58130-58130 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58129-58129 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58128-58128 |
|