No TPTP formula. May not be expressible in strict first order. | Merge.kif 16758-16758 | Organisation religieuse est une sous-classe de organisation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16759-16759 | Organisation religieuse est une sous-classe de BeliefGroup |
No TPTP formula. May not be expressible in strict first order. | People.kif 801-801 | Church est une sous-classe de organisation religieuse |
No TPTP formula. May not be expressible in strict first order. | People.kif 1212-1212 | Abbey est une sous-classe de organisation religieuse |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7898-7898 | MissionOrganization est une sous-classe de organisation religieuse |