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 58132-58132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58131-58131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58130-58130 |
|