No TPTP formula. May not be expressible in strict first order. |
People.kif 1129-1129 |
Chapel e' uma sub-classe de ReligiousBuilding |
No TPTP formula. May not be expressible in strict first order. |
People.kif 822-822 |
ChurchBuilding e' uma sub-classe de ReligiousBuilding |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1334-1334 |
Mosque e' uma sub-classe de ReligiousBuilding |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1435-1435 |
Synagogue e' uma sub-classe de ReligiousBuilding |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49400-49400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49399-49399 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49398-49398 |
|