| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16758-16758 | 子類 ReligiousOrganization and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16759-16759 | 子類 ReligiousOrganization and 信仰團體 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 801-801 | 子類 Church and ReligiousOrganization |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1212-1212 | 子類 僧院 and ReligiousOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7898-7898 | 子類 任務組織 and ReligiousOrganization |
|
|