No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1565-1565 |
FirmStrictness est une sous-classe de StrictnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1561-1561 |
HardStrictness est une sous-classe de StrictnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1589-1589 |
HybridStrictness est une sous-classe de StrictnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1577-1577 |
ImportanceStrictness est une sous-classe de StrictnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1570-1570 |
SoftStrictness est une sous-classe de StrictnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1582-1582 |
UtilityStrictness est une sous-classe de StrictnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55632-55632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55631-55631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55630-55630 |
|