No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1622-1622 |
InstrumentAbstractionLevel 是 抽象级别属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1627-1627 |
MethodAbstractionLevel 是 抽象级别属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1635-1635 |
ObjectAbstractionLevel 是 抽象级别属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1643-1643 |
TaskAbstractionLevel 是 抽象级别属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1652-1652 |
TaskGroupAbstractionLevel 是 抽象级别属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5178-5178 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5177-5177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5176-5176 |
|