No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5259-5259 |
湾 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5265-5265 |
拱 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5181-5181 |
河口 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5253-5253 |
入口通道 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30181-30181 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30180-30180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30179-30179 |
|