No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5259-5259 |
子類 灣 and 進口 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5265-5265 |
子類 拱 and 進口 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5181-5181 |
子類 河口 and 進口 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5253-5253 |
子類 入口通道 and 進口 |
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 |
|