No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1565-1565 |
FirmStrictness 是 严格属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1561-1561 |
HardStrictness 是 严格属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1589-1589 |
HybridStrictness 是 严格属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1577-1577 |
ImportanceStrictness 是 严格属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1570-1570 |
SoftStrictness 是 严格属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1582-1582 |
UtilityStrictness 是 严格属性 的 subclass |
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 |
|