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	子屬性宗教資助公民專業和類似組織 and 除公共行政外的其他服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 12157-12157	子屬性商業專業勞工政治和類似組織 and 宗教資助公民專業和類似組織
No TPTP formula. May not be expressible in strict first order.	naics.kif 12151-12151	子屬性公民和社會組織 and 宗教資助公民專業和類似組織
No TPTP formula. May not be expressible in strict first order.	naics.kif 12094-12094	子屬性資助和提供服務 and 宗教資助公民專業和類似組織
No TPTP formula. May not be expressible in strict first order.	naics.kif 12088-12088	子屬性宗教組織 and 宗教資助公民專業和類似組織
No TPTP formula. May not be expressible in strict first order.	naics.kif 12121-12121	子屬性社會倡導組織 and 宗教資助公民專業和類似組織
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