No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28807-28807 |
子類 錒 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27473-27473 |
子類 鋁 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28913-28913 |
子類 銤 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28107-28107 |
子類 銻 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27556-27556 |
子類 氬 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27804-27804 |
子類 砷 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. |
Merge.kif 1108-1108 |
子類 Atom and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28201-28201 |
子類 鋇 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28947-28947 |
子類 锫 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27313-27313 |
子類 鈹 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28705-28705 |
子類 鉍 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27329-27329 |
子類 硼 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27835-27835 |
子類 溴 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28059-28059 |
子類 鎘 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 27587-27587 |
子類 鈣 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 27348-27348 |
子類 碳 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28237-28237 |
子類 鈰 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27539-27539 |
子類 氯 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27661-27661 |
子類 鉻 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27707-27707 |
子類 鈷 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27738-27738 |
子類 銅 and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28930-28930 |
子類 鋦 and ElementalSubstance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |