No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | 元素物质 是 純物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27267-27267 | 氢 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27283-27283 | 氦 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27299-27299 | 锂 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27313-27313 | 铍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27329-27329 | 硼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27348-27348 | 碳 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27366-27366 | 氮 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27384-27384 | 氧 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27404-27404 | 氟 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27421-27421 | 氖 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27439-27439 | 钠 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27455-27455 | 镁 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27473-27473 | 铝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27491-27491 | 硅 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27508-27508 | 磷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27523-27523 | 硫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27539-27539 | 氯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27556-27556 | 氩 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27571-27571 | 钾 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27587-27587 | 钙 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27602-27602 | 钪 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27618-27618 | 钛 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27634-27634 | 钒 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27661-27661 | 铬 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27675-27675 | 锰 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27690-27690 | 铁 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27707-27707 | 钴 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27724-27724 | 镍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27738-27738 | 铜 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27754-27754 | 锌 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27770-27770 | 镓 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27788-27788 | 锗 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27804-27804 | 砷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27820-27820 | 硒 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27835-27835 | 溴 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27851-27851 | 氪 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27871-27871 | 铷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27888-27888 | 锶 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27905-27905 | 钇 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27922-27922 | 锆 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27938-27938 | 铌 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27955-27955 | 钼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27978-27978 | 锝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27997-27997 | 钌 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28013-28013 | 铑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28028-28028 | 钯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28044-28044 | 银 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28059-28059 | 镉 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28075-28075 | 铟 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28091-28091 | 锡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28107-28107 | 锑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28124-28124 | 碲 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28140-28140 | 碘 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28158-28158 | 氙 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28175-28175 | 铯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28201-28201 | 钡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28217-28217 | 镧 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28237-28237 | 铈 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28254-28254 | 镨 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28270-28270 | 钕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28296-28296 | 钷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28316-28316 | 钐 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28337-28337 | 铕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28353-28353 | 钆 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28370-28370 | 铽 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28385-28385 | 镝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28406-28406 | 钬 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28431-28431 | 铒 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28448-28448 | 铥 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28464-28464 | 镱 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28479-28479 | 镏 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28501-28501 | 铪 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28517-28517 | 钽 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28534-28534 | 钨 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28550-28550 | 铼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28565-28565 | 锇 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28579-28579 | 铱 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28603-28603 | 铂 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28629-28629 | 金 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28650-28650 | 汞 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28667-28667 | 铊 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28689-28689 | 铅 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28705-28705 | 铋 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28723-28723 | 钋 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28740-28740 | 砹 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28757-28757 | 氡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28775-28775 | 钫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28791-28791 | 镭 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28807-28807 | 锕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28825-28825 | 钍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28842-28842 | 镤 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28859-28859 | 铀 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28875-28875 | 镎 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28893-28893 | 钚 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28913-28913 | 銤 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28930-28930 | 锔 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28947-28947 | 锫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28964-28964 | 锎 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28982-28982 | 锿 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29002-29002 | 镄 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29018-29018 | 钔 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29036-29036 | 锘 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29053-29053 | 铹 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29075-29075 | Unnilquadium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29092-29092 | Unnilpentium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29107-29107 | Unnilhexium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29122-29122 | Unnilseptium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29137-29137 | Unniloctium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29150-29150 | 䥑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29167-29167 | Unnildecium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1101-1101 | 金属 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | 原子 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | 次原子粒子 是 元素物质 的 subclass |