TreeView Knowledge Base Browser - religiousAffiliationOfOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24148-24150
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24152-24152	组织的宗教信仰的 1 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24153-24153	组织的宗教信仰的 2 数量是信仰团体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24151-24151	组织的宗教信仰是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2143-2143
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2142-2142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2141-2141
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49388-49388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49387-49387
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49386-49386