TreeView Knowledge Base Browser - OtherBusinessSupportServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10419-10421
No TPTP formula. May not be expressible in strict first order.	naics.kif 10417-10417	其他商业支持服务是商业支持服务的 subAttribute

appearance as argument number 2

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