TreeView Knowledge Base Browser - ReligiousGrantmakingCivicProfessionalAndSimilarOrganizations

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 12082-12086
No TPTP formula. May not be expressible in strict first order.	naics.kif 12080-12080	宗教资助公民专业和类似组织是除公共行政外的其他服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 12157-12157	商业专业劳工政治和类似组织是宗教资助公民专业和类似组织的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 12151-12151	公民和社会组织是宗教资助公民专业和类似组织的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 12094-12094	资助和提供服务是宗教资助公民专业和类似组织的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 12088-12088	宗教组织是宗教资助公民专业和类似组织的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 12121-12121	社会倡导组织是宗教资助公民专业和类似组织的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49412-49412
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49411-49411
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49410-49410