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 24149-24151
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24153-24153	域組織的宗教信仰, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24154-24154	域組織的宗教信仰, 2 and 信仰團體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24152-24152	例組織的宗教信仰 and BinaryPredicate

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