No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27621-27621 |
22 is an atomic number of titanium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29224-29224 |
3533.0 Kelvin degree(s) is a boiling point of titanium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27629-27632 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2036-2036 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2407-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1270-1270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29223-29223 |
1933.0 Kelvin degree(s) is a melting point of titanium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27619-27619 |
"Titanium" has name titanium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31472-31472 |
roomTempState titanium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27618-27618 |
Titanium is a subclass of elemental substance |