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 27255-27255 | 氢 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27271-27271 | 氦 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27287-27287 | 锂 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27301-27301 | 铍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27317-27317 | 硼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27336-27336 | 碳 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27354-27354 | 氮 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27372-27372 | 氧 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27392-27392 | 氟 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27409-27409 | 氖 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27427-27427 | 钠 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27443-27443 | 镁 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27461-27461 | 铝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27479-27479 | 硅 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27496-27496 | 磷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27511-27511 | 硫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27527-27527 | 氯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27544-27544 | 氩 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27559-27559 | 钾 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27575-27575 | 钙 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27590-27590 | 钪 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27606-27606 | 钛 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27622-27622 | 钒 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27649-27649 | 铬 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27663-27663 | 锰 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27678-27678 | 铁 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27695-27695 | 钴 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27712-27712 | 镍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27726-27726 | 铜 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27742-27742 | 锌 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27758-27758 | 镓 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27776-27776 | 锗 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27792-27792 | 砷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27808-27808 | 硒 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27823-27823 | 溴 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27839-27839 | 氪 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27859-27859 | 铷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27876-27876 | 锶 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27893-27893 | 钇 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27910-27910 | 锆 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27926-27926 | 铌 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27943-27943 | 钼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27966-27966 | 锝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27985-27985 | 钌 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28001-28001 | 铑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28016-28016 | 钯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28032-28032 | 银 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28047-28047 | 镉 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28063-28063 | 铟 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28079-28079 | 锡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28095-28095 | 锑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28112-28112 | 碲 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28128-28128 | 碘 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28146-28146 | 氙 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28163-28163 | 铯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28189-28189 | 钡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28205-28205 | 镧 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28225-28225 | 铈 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28242-28242 | 镨 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28258-28258 | 钕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28284-28284 | 钷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28304-28304 | 钐 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28325-28325 | 铕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28341-28341 | 钆 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28358-28358 | 铽 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28373-28373 | 镝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28394-28394 | 钬 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28419-28419 | 铒 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28436-28436 | 铥 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28452-28452 | 镱 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28467-28467 | 镏 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28489-28489 | 铪 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28505-28505 | 钽 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28522-28522 | 钨 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28538-28538 | 铼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28553-28553 | 锇 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28567-28567 | 铱 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28591-28591 | 铂 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28617-28617 | 金 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28638-28638 | 汞 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28655-28655 | 铊 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28677-28677 | 铅 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28693-28693 | 铋 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28711-28711 | 钋 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28728-28728 | 砹 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28745-28745 | 氡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28763-28763 | 钫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28779-28779 | 镭 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28795-28795 | 锕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28813-28813 | 钍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28830-28830 | 镤 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28847-28847 | 铀 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28863-28863 | 镎 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28881-28881 | 钚 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28901-28901 | 銤 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28918-28918 | 锔 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28935-28935 | 锫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28952-28952 | 锎 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28970-28970 | 锿 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28990-28990 | 镄 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29006-29006 | 钔 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29024-29024 | 锘 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29041-29041 | 铹 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29063-29063 | Unnilquadium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29080-29080 | Unnilpentium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29095-29095 | Unnilhexium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29110-29110 | Unnilseptium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29125-29125 | Unniloctium 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29138-29138 | 䥑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29155-29155 | 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 |