No TPTP formula. May not be expressible in strict first order. |
People.kif 1129-1129 |
教堂 是 宗教建筑 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
People.kif 822-822 |
教会 是 宗教建筑 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1334-1334 |
清真寺 是 宗教建筑 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1435-1435 |
会堂 是 宗教建筑 的 subclass |
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 |
|