No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1622-1622 |
子類 InstrumentAbstractionLevel and 抽象級別屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1627-1627 |
子類 MethodAbstractionLevel and 抽象級別屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1635-1635 |
子類 ObjectAbstractionLevel and 抽象級別屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1643-1643 |
子類 TaskAbstractionLevel and 抽象級別屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1652-1652 |
子類 TaskGroupAbstractionLevel and 抽象級別屬性 |
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 |
|