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	其他学校和指导是教育服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10843-10843	所有其他学校和指导是其他学校和指导的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10820-10820	美术学校是其他学校和指导的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10837-10837	语言学校是其他学校和指导的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10827-10827	体育和娱乐指导是其他学校和指导的 subAttribute
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