| 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. | QoSontology.kif 1561-1561 | HardStrictness e' uma sub-classe de StrictnessAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1565-1565 | FirmStrictness e' uma sub-classe de StrictnessAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1570-1570 | SoftStrictness e' uma sub-classe de StrictnessAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1577-1577 | ImportanceStrictness e' uma sub-classe de StrictnessAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1582-1582 | UtilityStrictness e' uma sub-classe de StrictnessAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1589-1589 | HybridStrictness e' uma sub-classe de StrictnessAttribute |
|
|