No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2177-2177 |
敞车 是 敞篷车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2218-2218 |
旋转式自卸车 是 敞篷车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42228-42228 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42227-42227 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42226-42226 |
|