TreeView Knowledge Base Browser - ScientificResearchAndDevelopmentServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10133-10135
No TPTP formula. May not be expressible in strict first order.	naics.kif 10131-10131	科学研究和开发服务是专业的科技服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10137-10137	物理工程和生命科学的研究和发展是科学研究和开发服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10145-10145	社会科学和人文科学的研究和发展是科学研究和开发服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51585-51585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51584-51584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51583-51583