No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2454-2454 |
电缆船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30062-30062 |
货船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2453-2453 |
起重船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2449-2449 |
挖泥船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2446-2446 |
钻井船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2455-2455 |
破冰船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1019-1019 |
商船海运 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 187-187 |
军舰 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2451-2451 |
电动料斗 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2443-2443 |
海外供应船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2444-2444 |
海外支援船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2445-2445 |
海外井生产船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2309-2309 |
客船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2447-2447 |
研究船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2452-2452 |
污泥处理船 是 船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52599-52599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52598-52598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52597-52597 |
|