No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4454-4454 |
袋 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4472-4472 |
盒 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4150-4150 |
抽屉柜或柜子 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4154-4154 |
棺材 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4164-4164 |
隔室 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4668-4668 |
信封 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4678-4678 |
液体容器 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1654-1654 |
皮套 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4176-4176 |
邮箱 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2318-2318 |
烹饪烤箱 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11388-11388 |
Pericardium 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4515-4515 |
有孔容器 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2349-2349 |
锅或杅 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5155-5155 |
产品包装 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1121-1121 |
弹丸壳 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2344-2344 |
冰箱 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2721-2721 |
安全的容器 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4673-4673 |
旅行集装箱 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1666-1666 |
废纸篓 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16896-16896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16895-16895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16894-16894 |
|