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 2445-2445 |
鱼厂船 是 渔船 的 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 2444-2444 |
拖网渔船 是 渔船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24032-24032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24031-24031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24030-24030 |
|