No TPTP formula. May not be expressible in strict first order. |
naics.kif 10437-10437 |
子屬性 所有其他業務支持服務 and 其他商業支持服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10430-10430 |
子屬性 法庭報告和速記服務 and 其他商業支持服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10423-10423 |
子屬性 收樓服務 and 其他商業支持服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42794-42794 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42793-42793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42792-42792 |
|