| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7931-7931 | ReligiousBuilding est une sous-classe de immeuble |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7932-7932 | ReligiousBuilding est une sous-classe de PlaceOfWorship |
| No TPTP formula. May not be expressible in strict first order. | People.kif 822-822 | ChurchBuilding est une sous-classe de ReligiousBuilding |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1129-1129 | Chapel est une sous-classe de ReligiousBuilding |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1334-1334 | Mosque est une sous-classe de ReligiousBuilding |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1435-1435 | Synagogue est une sous-classe de ReligiousBuilding |
|
|