TreeView Knowledge Base Browser - OtherAmbulatoryHealthCareServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11058-11060
No TPTP formula. May not be expressible in strict first order.	naics.kif 11056-11056	子屬性其他門診醫療服務 and 門診醫療保健服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11069-11069	子屬性所有其他門診醫療服務 and 其他門診醫療服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 11062-11062	子屬性救護車服務 and 其他門診醫療服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42714-42714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42713-42713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42712-42712