No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1669-1669 |
北海航线 是 水路 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1660-1660 |
西北通道 是 水路 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5593-5593 |
运河 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1691-1691 |
运河锁 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1690-1690 |
渠道 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1693-1693 |
港口 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1680-1680 |
海道 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1679-1679 |
运输渠道 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1678-1678 |
航道 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2983-2983 |
水交界处 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62517-62517 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62516-62516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62515-62515 |
|