Harbor(港口) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 918-919 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1482-1482 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 953-953 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | 子類 港口 and WaterArea |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1693-1693 | 子類 港口 and 水路 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 895-895 | 子類 深海港口 and 港口 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27402-27402 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27401-27401 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27400-27400 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2942-2947 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2949-2957 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 930-936 |