TreeView Knowledge Base Browser - TechnicalAndTradeSchools

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10781-10783
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10285-10285
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11968-11968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11970-11970
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11971-11971
No TPTP formula. May not be expressible in strict first order.	naics.kif 10779-10779	技术和贸易学校是教育服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10799-10799	学徒培训是技术和贸易学校的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10785-10785	美容和理发学校是技术和贸易学校的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10792-10792	飞行训练是技术和贸易学校的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10806-10806	其他技术和贸易学校是技术和贸易学校的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57199-57199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57198-57198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57197-57197