No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 947-947 |
範圍 港口設施 and 港口設施 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 908-908 |
子類 深水港 and 港口設施 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46730-46730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46729-46729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46728-46728 |
|