No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2144-2144 |
棚车 是 货车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2172-2172 |
五井堆栈车 是 货车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2176-2176 |
敞车 是 货车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2190-2190 |
九头垫货车 是 货车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2199-2199 |
敞篷车 是 货车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2232-2232 |
坦克车 是 货车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24920-24920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24919-24919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24918-24918 |
|