No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | 子類 ElementalSubstance and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27318-27318 | 子類 氫 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27334-27334 | 子類 氦 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27350-27350 | 子類 鋰 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27364-27364 | 子類 鈹 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27380-27380 | 子類 硼 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27399-27399 | 子類 碳 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27417-27417 | 子類 氮 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27435-27435 | 子類 氧 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27455-27455 | 子類 氟 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27472-27472 | 子類 氖 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27490-27490 | 子類 鈉 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27506-27506 | 子類 鎂 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27524-27524 | 子類 鋁 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27542-27542 | 子類 矽 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27559-27559 | 子類 磷 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27574-27574 | 子類 硫 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27590-27590 | 子類 氯 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27607-27607 | 子類 氬 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27622-27622 | 子類 鉀 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27638-27638 | 子類 鈣 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27653-27653 | 子類 鈧 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27669-27669 | 子類 鈦 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27685-27685 | 子類 釩 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27712-27712 | 子類 鉻 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27726-27726 | 子類 錳 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27741-27741 | 子類 鐵 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27758-27758 | 子類 鈷 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27775-27775 | 子類 鎳 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27789-27789 | 子類 銅 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27805-27805 | 子類 鋅 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27821-27821 | 子類 鎵 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27839-27839 | 子類 鍺 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27855-27855 | 子類 砷 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27871-27871 | 子類 硒 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27886-27886 | 子類 溴 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27902-27902 | 子類 氪 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27922-27922 | 子類 銣 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27939-27939 | 子類 鍶 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27956-27956 | 子類 釔 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27973-27973 | 子類 鋯 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27989-27989 | 子類 鈮 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28006-28006 | 子類 鉬 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28029-28029 | 子類 锝 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28048-28048 | 子類 釕 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28064-28064 | 子類 銠 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28079-28079 | 子類 鈀 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28095-28095 | 子類 銀 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28110-28110 | 子類 鎘 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28126-28126 | 子類 銦 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28142-28142 | 子類 錫 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28158-28158 | 子類 銻 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28175-28175 | 子類 碲 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28191-28191 | 子類 碘 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28209-28209 | 子類 氙 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28226-28226 | 子類 銫 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28252-28252 | 子類 鋇 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28268-28268 | 子類 鑭 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28288-28288 | 子類 鈰 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28305-28305 | 子類 镨 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28321-28321 | 子類 釹 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28347-28347 | 子類 钷 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28367-28367 | 子類 釤 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28388-28388 | 子類 銪 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28404-28404 | 子類 钆 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28421-28421 | 子類 铽 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28436-28436 | 子類 鏑 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28457-28457 | 子類 钬 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28482-28482 | 子類 鉺 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28499-28499 | 子類 铥 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28515-28515 | 子類 鐿 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28530-28530 | 子類 鎦 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28552-28552 | 子類 鉿 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28568-28568 | 子類 鉭 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28585-28585 | 子類 鎢 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28601-28601 | 子類 錸 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28616-28616 | 子類 鋨 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28630-28630 | 子類 銥 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28654-28654 | 子類 鉑 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28680-28680 | 子類 金 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28701-28701 | 子類 汞 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28718-28718 | 子類 鉈 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28740-28740 | 子類 鉛 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28756-28756 | 子類 鉍 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28774-28774 | 子類 釙 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28791-28791 | 子類 砹 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28808-28808 | 子類 氡 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28826-28826 | 子類 鈁 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28842-28842 | 子類 鐳 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28858-28858 | 子類 錒 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28876-28876 | 子類 釷 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28893-28893 | 子類 镤 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28910-28910 | 子類 鈾 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28926-28926 | 子類 镎 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28944-28944 | 子類 钚 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28964-28964 | 子類 銤 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28981-28981 | 子類 鋦 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28998-28998 | 子類 锫 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29015-29015 | 子類 锎 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29033-29033 | 子類 锿 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29053-29053 | 子類 鐨 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29069-29069 | 子類 鍆 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29087-29087 | 子類 锘 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29104-29104 | 子類 铹 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29126-29126 | 子類 unnilquadium and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29143-29143 | 子類 unnilpentium and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29158-29158 | 子類 unnilhexium and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29173-29173 | 子類 unnilseptium and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29188-29188 | 子類 unniloctium and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29201-29201 | 子類 䥑 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29218-29218 | 子類 unnildecium and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1101-1101 | 子類 Metal and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | 子類 Atom and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | 子類 SubatomicParticle and ElementalSubstance |