No TPTP formula. May not be expressible in strict first order. |
naics.kif 10437-10437 |
所有其他业务支持服务 是 其他商业支持服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10430-10430 |
法庭报告和速记服务 是 其他商业支持服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10423-10423 |
收楼服务 是 其他商业支持服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42792-42792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42791-42791 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42790-42790 |
|