No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1768-1768 |
海法以色列 是 港口城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1776-1776 |
汉诺威德国 是 港口城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 884-884 |
集装箱港口 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 887-887 |
深水港 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 852-852 |
河港 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 868-868 |
海港 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46726-46726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46725-46725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46724-46724 |
|