TreeView Knowledge Base Browser - MedicalAndDiagnosticLaboratories

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11032-11034
No TPTP formula. May not be expressible in strict first order.	naics.kif 11030-11030	子屬性醫學和診斷實驗室 and 門診醫療保健服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11043-11043	子屬性診斷成像中心 and 醫學和診斷實驗室
No TPTP formula. May not be expressible in strict first order.	naics.kif 11036-11036	子屬性醫學實驗室 and 醫學和診斷實驗室
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36803-36803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36802-36802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36801-36801