No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 947-947 |
港口设施 的 range 是 港口设施 的实例 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 908-908 |
深水港 是 港口设施 的 subclass |
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 |
|