No TPTP formula. May not be expressible in strict first order. |
People.kif 1129-1129 |
子類 教堂 and 宗教建築 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 822-822 |
子類 教會 and 宗教建築 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1334-1334 |
子類 清真寺 and 宗教建築 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1435-1435 |
子類 會堂 and 宗教建築 |
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 |
|