No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4444-4444 | 子類 容器 and 持有人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1121-1121 | 子類 彈丸殼 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1654-1654 | 子類 皮套 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1666-1666 | 子類 廢紙簍 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2318-2318 | 子類 烹飪烤箱 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2344-2344 | 子類 冰箱 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2349-2349 | 子類 鍋或杅 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2721-2721 | 子類 安全的容器 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4150-4150 | 子類 抽屜櫃或櫃子 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4154-4154 | 子類 棺材 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4164-4164 | 子類 隔室 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4176-4176 | 子類 郵箱 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4454-4454 | 子類 袋 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4472-4472 | 子類 盒 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4515-4515 | 子類 有孔容器 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4668-4668 | 子類 信封 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4673-4673 | 子類 旅行集裝箱 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4678-4678 | 子類 液體容器 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11388-11388 | 子類 Pericardium and 容器 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5155-5155 | 子類 產品包裝 and 容器 |