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 1561-1561 |
HardStrictness 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 |
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 1570-1570 |
SoftStrictness 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. |
domainEnglishFormat.kif 55634-55634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55633-55633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55632-55632 |
|