| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4444-4444 | 容器 是 持有人 的 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 1654-1654 | 皮套 是 容器 的 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. | Mid-level-ontology.kif 2318-2318 | 烹饪烤箱 是 容器 的 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 2349-2349 | 锅或杅 是 容器 的 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 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 4176-4176 | 邮箱 是 容器 的 subclass |
| 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 4515-4515 | 有孔容器 是 容器 的 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 4673-4673 | 旅行集装箱 是 容器 的 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 11387-11387 | Pericardium 是 容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5155-5155 | 产品包装 是 容器 的 subclass |
|
|