No TPTP formula. May not be expressible in strict first order. |
naics.kif 9166-9166 |
所有其他信息服务 是 其他信息服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9159-9159 |
在线信息服务 是 其他信息服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43128-43128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43127-43127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43126-43126 |
|