No TPTP formula. May not be expressible in strict first order. |
naics.kif 10397-10397 |
其他商业服务中心,包括复印店 是 商业服务中心 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10390-10390 |
私人邮件中心 是 商业服务中心 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12475-12475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12474-12474 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12473-12473 |
|