No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3968-3968 |
封闭的服务 是 服务属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3954-3954 |
开放服务 是 服务属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52221-52221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52220-52220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52219-52219 |
|