TreeView Knowledge Base Browser - OtherSchoolsAndInstruction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10816-10818
No TPTP formula. May not be expressible in strict first order.	naics.kif 10814-10814	子屬性其他學校和指導 and 教育服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10843-10843	子屬性所有其他學校和指導 and 其他學校和指導
No TPTP formula. May not be expressible in strict first order.	naics.kif 10820-10820	子屬性美術學校 and 其他學校和指導
No TPTP formula. May not be expressible in strict first order.	naics.kif 10837-10837	子屬性語言學校 and 其他學校和指導
No TPTP formula. May not be expressible in strict first order.	naics.kif 10827-10827	子屬性體育和娛樂指導 and 其他學校和指導
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43434-43434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43433-43433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43432-43432