No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1611-1611 |
AbstractionLevelAttribute est une sous-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1509-1509 |
ComplexityAttribute est une sous-classe de TimingRequirementAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1547-1547 |
StrictnessAttribute est une sous-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 |
|