No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2323-2323 |
甲板货船 是 普通货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2322-2322 |
托盘货船 是 普通货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25656-25656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25655-25655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25654-25654 |
|