No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2454-2454 |
子類 電纜船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30062-30062 |
子類 貨船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2453-2453 |
子類 起重船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2449-2449 |
子類 挖泥船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2446-2446 |
子類 鑽井船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2455-2455 |
子類 破冰船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1019-1019 |
子類 商船海運 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 187-187 |
子類 軍艦 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2451-2451 |
子類 電動料斗 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2443-2443 |
子類 海外供應船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2444-2444 |
子類 海外支援船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2445-2445 |
子類 海外井生產船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2309-2309 |
子類 客船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2447-2447 |
子類 研究船 and 船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2452-2452 |
子類 污泥處理船 and 船 |
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 |
|