No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27981-27981 |
43 is an atomic number of technetium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29266-29266 |
5303.0 Kelvin degree(s) is a boiling point of technetium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27989-27995 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2392-2392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2019-2019 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1263-1263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29265-29265 |
2445.0 Kelvin degree(s) is a melting point of technetium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27979-27979 |
"Technetium" has name technetium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31493-31493 |
roomTempState technetium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27978-27978 |
Technetium is a subclass of elemental substance |