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	子屬性科學研究和開發服務 and 專業的科技服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10137-10137	子屬性物理工程和生命科學的研究和發展 and 科學研究和開發服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 10145-10145	子屬性社會科學和人文科學的研究和發展 and 科學研究和開發服務
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